function MM_openBrWindow(theURL,winName,features) { //v2.0
  window.open(theURL,winName,features);
}

function MM_jumpMenu(targ,selObj,restore){ //v3.0

  window.location=selObj.options[selObj.selectedIndex].value;
  
  if (restore) selObj.selectedIndex=0;
}