function SetColor(NewColor)
   {
   element = window.event.srcElement;
   OriginalColor = element.style.color;
   element.style.color = NewColor;
   }

function ResetColor()
   {
   element.style.color = OriginalColor;
   }