<!--
function linkon()
{
  // turns hyperlinks green
  if (window.event.srcElement.tagName == "A") {
    window.event.srcElement.style.color = "#008000";
  }
}
function linkoff()
{
  // sets hyperlinks back to normal
    if (window.event.srcElement.tagName == "A") {
      window.event.srcElement.style.color = "";
    }
}
// hyperlink functions
document.onmouseover = linkon;
document.onmouseout = linkoff;
// -->