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

function goOnPush(fieldName) {
    var fieldObj = document.manual.elements[fieldName];
	self.location=fieldObj.options[fieldObj.selectedIndex].value;
}