function gl_high()
{
  if(event && event.toElement)
  {
   s = event.toElement;
   if(s.style && ("A" == s.tagName))
   {
    s.oldcol      = s.style.color;
    s.style.color = "ff0080";
   }
  }
}

function gl_norm()
{
  if(event && event.fromElement)
  {
   s = event.fromElement;
   if(s.style && ("A" == s.tagName))
   {
    s.style.color = s.oldcol;
   }
  }
}