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