function buttonOver ( buttonname )
	{
		
		if (document.images && document[ buttonname ].src.search("_down.gif") == -1) 
		{
	
			var path = document[ buttonname ].src.substring(0, document[ buttonname ].src.lastIndexOf("/") + 1);
			document[ buttonname ].src = path + buttonname + "_over.gif";
			document[ 'head' ].src = path + "head_" + buttonname + ".gif";	
		}
	
	}
  


	function buttonOut ( buttonname )
	{
		
		if (document.images && document[ buttonname ].src.search("_down.gif") == -1) 
		{
		
			var path = document[ buttonname ].src.substring(0, document[ buttonname ].src.lastIndexOf("/") + 1);
			document[ buttonname ].src = path + buttonname + ".gif";
			document[ 'head' ].src = path + "head_blank.gif";
		}
	
	}