
<!-- standard .js -->

function isIE()
{
	if (navigator.appName == "Microsoft Internet Explorer")
		return true;
	return false;
}


function isV3IE()
{
	if ((isIE()) && (navigator.userAgent.lastIndexOf("3.") != -1))
		return true;
	return false;
}


function goFull(host, page, ext)
{
	window.location = "http://" + host + page + ext + location.search;
}


function go(page)
{
	goFull(window.location.host, page, ".jsp");
}


function setWindowName(name)
{
	this.name = name;
}


function init()
{
	if (!isV3IE())
		this.focus();
}

init();