//////////////////////////////////////////
// Handle Refreshing every 5 seconds
//////////////////////////////////////////
function get_cookie ( cookie_name )
{
	var results = document.cookie.match ( cookie_name + '=(.*?)(;|$)' );

	if ( results )
		return ( unescape ( results[1] ) );
	else
		return null;
}

function init() {

	var uid = get_cookie( "UserID" );
	if( uid )
		loginForm.loginControlUsernameTbx.value = uid;
	
	var pwd = get_cookie( "Password" );
	if( pwd )
		loginForm.loginControlPasswordTbx.value = pwd;
	
}
