// JavaScript Document

function MM_setTextOfTextfield(objId,x,newText) { //v9.0

  with (document){ if (getElementById){

    var obj = getElementById(objId);} if (obj) obj.value = newText;

  }

}

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

  eval(targ+".location='"+selObj.options[selObj.selectedIndex].value+"'");

  if (restore) selObj.selectedIndex=0;

}