/***	Rot einfärben der Hyperlinks	***/
/***	Achtung: JScript, KEIN Javascript	***/
ua=navigator.userAgent;
v=navigator.appVersion.substring(0, 1);
if ((ua.lastIndexOf("MSIE")!=-1) && (v!='1') && (v!='2') && (v!='3'))
{
	document.onmouseover=makeCool;
	document.onmouseout=makeNormal;
}

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

function makeNormal()
{
	src=event.fromElement;
	if (src.tagName == "A")
	{
		src.style.color = src.oldcol;
	}
}