var user_agent = navigator.userAgent;
var version = navigator.appVersion.substring(0, 1);

if (user_agent.indexOf("MSIE") != -1 && version == 4) {
   document.onmouseover =   highlight;
   document.onmouseout  = unhighlight;
}

function highlight()
{
   var source = event.toElement;
   if (source.tagName == "A") {
      source.old_color = source.style.color;
      source.style.color = "#0066CC";
   }
}

function unhighlight()
{
   var source=event.fromElement;
   if (source.tagName == "A") {
      source.style.color = source.old_color;
   }
}