// JScript source code
var a = "?";
if(document.location.search.indexOf("ejnynav") < 0)
	if(parent.frames.length == 0 && document.getElementById("frameset").value.length)
	{
		a = document.getElementById("frameset").value.indexOf("?") > 0 ? "&" : "?";
		document.location = document.getElementById("frameset").value + a + "ss=" + escape(document.location.pathname.replace(/\/cgi-bin\/pts3/, "") + document.location.search);
	}