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