var oldbgcolor;
  var newbgcolor;
  var newtextcolor;
  function mouseover(i,j)
  {
  newbgcolor= "#EFEDDD";
  newtextcolor= "#0B417A";
  document.links(j).style.backgroundColor=newbgcolor;
  document.all(i).style.backgroundColor=newbgcolor;
  document.links(j).style.color=newtextcolor;
  document.all(i).style.color=newtextcolor;
  }

  function mouseout(i,j)
  {
  document.all(i).style.backgroundColor="";
  document.links(j).style.backgroundColor="";
  oldcolor="#EFEDDD"
  document.links(j).style.color=oldcolor;
  document.all(i).style.color=oldcolor;
  }