// JavaScript Document
function isIE()
{
	var browserName=navigator.appName;
	return browserName=="Microsoft Internet Explorer";
}

// This is done here because if the script is in the page the w3 validator errors
function createUserInfoUrl()
{
	var url = '"/log_analysis_screen_info.gif?width=' + screen.width + '&height=' + screen.height + '&depth=' + screen.colorDepth+'"';
	document.getElementById("hidden_div").innerHTML = '<' + 'img width="1" height="1" src=' + url + ' alt="" /' + '>';
}