function jumpMenu(selObj,restore){ 
  eval("document.location='"+selObj.options[selObj.selectedIndex].value+"'");
  if (restore) selObj.selectedIndex=0;
}