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