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

function change_section() {
  i=document.titleform.titleselect.selectedIndex;
  if (i>=0)
    self.location=document.titleform.titleselect.options[i].value;
  //if  (parent.googleFrame.name == "googleFrame")
    //parent.googleFrame.location="include_google.htm";
}

function change_issue() {
  i=document.titleform.titleselect.selectedIndex;
  if (i>=0)
    self.location=document.titleform.titleselect.options[i].value;
  //if  (parent.googleFrame.name == "googleFrame")
    //parent.googleFrame.location="include_google.htm";
}