var detect = navigator.userAgent.toLowerCase();
var OS,browser,version,total,thestring;

if (checkIt('konqueror'))
{
	browser = "Konqueror";
	OS = "Linux";
}
else if (checkIt('safari')) browser = "Safari"
else if (checkIt('omniweb')) browser = "OmniWeb"
else if (checkIt('opera')) browser = "Opera"
else if (checkIt('webtv')) browser = "WebTV";
else if (checkIt('icab')) browser = "iCab"
else if (checkIt('msie')) browser = "Internet Explorer"
else if (!checkIt('compatible'))
{
	browser = "Netscape Navigator"
	version = detect.charAt(8);
}
else browser = "An unknown browser";

if (!version) version = detect.charAt(place + thestring.length);

if (!OS)
{
	if (checkIt('linux')) OS = "Linux";
	else if (checkIt('x11')) OS = "Unix";
	else if (checkIt('mac')) OS = "Mac"
	else if (checkIt('win')) OS = "Windows"
	else OS = "an unknown operating system";
}

function checkIt(string)
{
	place = detect.indexOf(string) + 1;
	thestring = string;
	return place;
}

// returns query string items
function argItems (theArgName)
{
	var r, sArgs;
	sArgs = location.search.slice(1).split('&');
	r = '';
	for (var i = 0; i < sArgs.length; i++) 
	{
		if (sArgs[i].slice(0,sArgs[i].indexOf('=')).toUpperCase() == theArgName.toUpperCase())
		{
			r = sArgs[i].slice(sArgs[i].indexOf('=')+1);
			break;
		}
	}
	return (r.length > 0 ? unescape(r) : '')

}

// trims leading and trailing spaces
function trim(sString) 
{
    while (sString.substring(0,1) == ' ')
    {
        sString = sString.substring(1, sString.length);
    }
    while (sString.substring(sString.length-1, sString.length) == ' ')
    {
        sString = sString.substring(0,sString.length-1);
    }
    return sString;
}

// returns height to set    
function setpegoframeheight(minheight)
{
    var treeheight = parent.document.getElementById('treeFrame').style.height;
    if (treeheight == "")
        treeheight = 0;
    else
        treeheight = parseInt(treeheight);
	frameheight = Math.max(minheight, treeheight);
    parent.document.getElementById('pegoframe').style.height = frameheight + 'px';
	return frameheight;
}			