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