var browserName = navigator.appName;
var browserVer = parseInt(navigator.appVersion);
var version = "";
var msie4 = (browserName == "Microsoft Internet Explorer" && browserVer >= 4);

if ((browserName == "Netscape" && browserVer >= 3) || msie4 || browserName=="Konqueror" || browserName=="Opera")
	{
	version = "n3";
	}
else
	{
	version = "n2";
	}

// Blurring links:
function blurLink(theObject)
	{
	if (msie4)
		{
		theObject.blur();
		}
	}

function toggle(div)
	{
	displayType = (document.getElementById(div).style.display=='none')?'block':'none';
	document.getElementById(div).style.display = displayType;
	}