function menujs(){
var URL = document.menu.menuitem.options[document.menu.menuitem.selectedIndex].value;
if (URL != "none") {
	window.location.href = URL
	}
}