/*
 * 
 *
 * 
 * 
 * 
 *
 *
 * 
 */
 
 

	var version = '31b';
	
	
	button_login_on = new Image;
	button_login_on.src = "../images/button_login_on.jpg";
	button_login_off = new Image;
	button_login_off.src = "../images/button_login_off.gif";	
	
	
	
	
	
	
	
	
	 function displayVersion()
	{
		document.write('<div style="width: 200px; float: right; text-align: right; font-size: 10px; padding-right: 22px;"><a href="../index.htm">version ' + version + '</a></div>');
	}
	
		
	
	 function hoverHeaderNav(obj,bool)
	{
		if(bool==0)
		{
			obj.className = "hoverOff";		
		}
		else
		{
			obj.className = "hoverOn";			
		}
	}	 
	
	
	 function hoverDiv(obj,bool)
	{
		if(bool==0)
		{
			obj.style.backgroundColor = "White";	
			obj.style.borderColor = "#ccc";	
		}
		else
		{
			obj.style.backgroundColor = "#fff899";	
			obj.style.borderColor = "#7b9ebd";		
		}
	}		
	
		 function Hover_Button(obj,bool)
		{
		 // This function allows a quick and easy way to hover over "buttons", or any image
		 // that has an "on" and "off" state for mouseovers.  It does require that
		 // the ID of the image be called the name of the image WITHOUT the "_on.gif" and
		 // "_off.gif" ending, and that CLASS="button".  Also, images must be GIFs.
		 //
		 // Example of caller:
		 //		<img src="../images_1/grabber_off.gif" id="grabber" class="button" 
		 //			 onmouseover="Hover_Button(this,1)"  onmouseout="Hover_Button(this,0)">
		 
		 if(bool==0)
		 	{
		 	 document.getElementById(obj.id).src="../images/" + obj.id + "_off.gif"
		 	}
		 else
		 	{
		 	 document.getElementById(obj.id).src="../images/" + obj.id + "_on.gif"
		 	}	
		} 	
		
		
		function set_cookie(c_name, value, expiredays)
		{
			var exdate=new Date();
			exdate.setDate(exdate.getDate()+expiredays);
			document.cookie=c_name+ "=" +escape(value)+
			((expiredays==null) ? "" : ";expires="+exdate.toGMTString());
		}