<!--
if (navigator.userAgent.indexOf("MSIE") == 25)
{
 document.body.onmouseover=makeCool;
 document.body.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;
   }
 }
}
//-->