function jumpto(url){
    if (document.form1.jumpmenu.value != "null") {
        document.location.href = url
    }
}

function MM_jumpMenu(targ,selObj,restore){ //v3.0
  eval(targ+".location='"+selObj.options[selObj.selectedIndex].value+"'");
  if (restore) selObj.selectedIndex=0;
}