// JavaScript Document

function Url_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:New") {
		window.open(theUrl);
	}
	else if (theTarget == "window:Main") {
		eval("parent.location='"+theUrl+"'");
	}
	else {
		eval("parent.frames[\'"+theTarget+"\'].location='"+theUrl+"'");
	}
}