var mouseover_color   = '#E7EBE7';
var mouseout_color    = '';

function mouseover(x)
 {
  if(document.getElementById||(document.all && !(document.getElementById)))
   {
    x.style.backgroundColor=mouseover_color;
   }
 }

function mouseout(x)
 {
 if(document.getElementById||(document.all && !(document.getElementById)))
  {
   x.style.backgroundColor=mouseout_color;
  }
 }