var NormalColor

function Highlight() {
  if ((event.srcElement.tagName=='A') && (event.srcElement.className!='Menu')){
    NormalColor = event.srcElement.style.color;
    event.srcElement.style.color = '#FF0000';
    event.srcElement.style.textDecoration = "underline";
  }
}

function UnHighlight() {
  if (event.srcElement.tagName=='A')
    event.srcElement.style.color = NormalColor;
    event.srcElement.style.textDecoration = "none	";
}

document.onmouseover = Highlight;
document.onmouseout = UnHighlight;