lastHiliteName = "";
lastHilite = new Image();
	
function Highlite(path, name)
	{
		if (lastHiliteName != name) 
		{
			DeHighlite();
			lastHilite.src = document[name].src;
			document[name].src = path+name+"_h.gif";
			lastHiliteName = name;
		}
	}
	
function DeHighlite() 
	{
		if (lastHiliteName != "") 
		{
			document [lastHiliteName].src = lastHilite.src;
			lastHiliteName = "";
		}
	}