function popupHelp(help)
{
	var x = 640;
	var y = 560;
	if (window.HSCALE)
	{
		x*= HSCALE;
		y*= HSCALE;
	}
	window.open(help+"?first", "help", "menubar=no, toolbar=no, scrollbars=yes, width="+x+", height="+y);
}
function openObsolete(version)
{
	openBlank(version+"/index.html");
}
function openBlank(page)
{
	window.open(page, "_blank");
}
function emitBackLink()
{
	var s = "<a href=\"javascript:";
	var i = location.href.indexOf("?first");
	if (i<0)
		s+= "history.back()\">BACK";
	else
		s+= "window.close()\">CLOSE WINDOW";
	s+= "</a>"
	document.write(s);
}