// JavaScript Document
<!--
function over(c)
{
  c.style.backgroundColor='#EFF0D9';
}

function out(c)
{
  c.style.backgroundColor='#FFFFFF';
}
// -->