/*
// this snippet uses function mybrowser()
document.onkeydown=function(event)
{
	var browser;
	browser = mybrowser();
	if (browser != "Internet Explorer")
	{	// netscape likes this
        if(event.keyCode==13)
 		{
     		Locat();
 		}
	}
	else { 	 // IE seems to like this
		if(window.event.keyCode==13)
 		{
     		Locat();
 		}
	}
}
*/

function mybrowser()
{
	var detect = navigator.userAgent.toLowerCase();
	var OS, browser, version, total, thestring, place;
	
	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) // for The Pond we don't care about 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";
	}
	return browser;
	
	function checkIt(string) {
        place = detect.indexOf(string) + 1;
        thestring = string;
        return place;
	}
	
} // end function mybrowser()


function LOGIN(password){
var done=0;
//password=password.toLowerCase();
if (password=="greenbelt") { return 1; } // Stealing this password isn't going to get you very much...
if (done==0) { alert("Wrong Password! (try again)"); return -1; }
}

function move() {
	window.location = "index.php";
}

// this function gets the cookie, if it exists
function Get_Cookie( name ) {
var start = document.cookie.indexOf( name + "=" );
var len = start + name.length + 1;
if ( ( !start ) &&
	( name != document.cookie.substring( 0, name.length ) ) ) { return null; }
if ( start == -1 ) return null;
var end = document.cookie.indexOf( ";", len );
if ( end == -1 ) end = document.cookie.length;
	return unescape( document.cookie.substring( len, end ) );
}

function Set_Cookie( name, value, expires, path, domain, secure ) 
{
// set time, it's in milliseconds
var today = new Date();
today.setTime( today.getTime() );
/*
if the expires variable is set, make the correct 
expires time, the current script below will set 
it for x number of days, to make it for hours, 
delete * 24, for minutes, delete * 60 * 24
*/
if ( expires )
{
expires = expires * 1000 * 60 * 60;
}
var expires_date = new Date( today.getTime() + (expires) );

document.cookie = name + "=" +escape( value ) +
( ( expires ) ? ";expires=" + expires_date.toGMTString() : "" ) + 
( ( path ) ? ";path=" + path : "" ) + 
( ( domain ) ? ";domain=" + domain : "" ) +
( ( secure ) ? ";secure" : "" );
}