function popfor() {
	var browserName = navigator.appName;
	var browserVersion = parseInt(navigator.appVersion);
	
	if ( (browserName == "Microsoft Internet Explorer") && (browserVersion >= 4) || 
		 (browserName == "Netscape") && (browserVersion >= 3) )
		window.focus();
}

function go_menu(menu) {
	choice = menu.selectedIndex;
	if (menu.options[choice].value != "")
		window.location.href = menu.options[choice].value;
}