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