function jumpMenu(){ location=document.jump.menu.options[document.jump.menu.selectedIndex].va
lue;
}