// JScript File
var previousColor;
      function highlightblue()
      {
          previousColor = window.event.srcElement.style.color;
          window.event.srcElement.style.color = "#0000EE";
      }
      function highlight_Red()
      {
          previousColor = window.event.srcElement.style.color;
          window.event.srcElement.style.color = "#FF0000";
      }
      function RestoreColor()
      {
          window.event.srcElement.style.color = previousColor;
      }
// End Of File