//detect if user agent is internet explorer
	var detect = navigator.userAgent.toLowerCase();
	var OS,browser,total,thestring;
	var version = 0;
	
	if (checkIt('msie'))
	{
	browser = "Internet Explorer";
	}

	function checkIt(string)
	{
	place = detect.indexOf(string) + 1;
	thestring = string;
	return place;
	}

	//create jump menu
	function jumpMenu(targ,selObj,restore){ //v3.0
	eval(targ+".location='"+selObj.options[selObj.selectedIndex].value+"'");
	if (restore) selObj.selectedIndex=0;
	}