IE4 = (document.all) ? 1 : 0;
	NS4 = (document.layers) ? 1 : 0;
	ver4 = (IE4 || NS4) ? 1 : 0;
	
	if (IE4)
	{
		document.onmouseover=Highlight;
		document.onmouseout=UnHighlight;
	}
	if (NS4)
	{
		document.onmouseover=Highlight;
		document.onmouseout=UnHighlight;
	}

function Highlight() 
{
	src = event.toElement;
	if (src.tagName == "A")
	{
		src.oldcol = src.style.color;
		src.style.color = "FF0000";
	}
}
function UnHighlight()
{
	src = event.fromElement;
	if (src.tagName == "A")
	{
		src.style.color = src.oldcol;
	}
}