function JumpMenu(selObj,restore){
 var theFullString = selObj.options[selObj.selectedIndex].value;
 if (restore) selObj.selectedIndex=0;
 var theLength = theFullString.length;
 var endPos = theFullString.lastIndexOf("~");
 var theUrl, theTarget, theParent;
 if (endPos > 0) {theUrl = theFullString.substring(0,endPos);}
 else {theUrl = theFullString;}
 endPos++
 if (endPos < theLength) {theTarget = theFullString.substring(endPos,theLength)}
 else {theTarget = "window:Main";}
 if (theTarget == "") {window.open(theUrl);}
 else if (theTarget == "window:Main") {eval("parent.location='"+theUrl+"'");}
 else {eval("parent.frames[\'"+theTarget+"\'].location='"+theUrl+"'");}
}