function popup(url,w,h,f){
	var features = 'width=' + w + ',height=' + h;
	if(f!='') features += ','+f;
	window.open(url,'',features);
}

function open_downloads(){
	popup("downloads.htm",450,400);
}

function open_credits(){
	popup("credits.htm",380,410);
}