////////////////////////////////////////////////////////////
	
					
		 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"
		 	}	
		}