function homemouseover()
{
  document.getElementById('menu').getElementsByTagName('img')[0].src='/images/homea.gif';
}
function homemouseout()
{
  document.getElementById('menu').getElementsByTagName('img')[0].src='/images/homen.gif';
}
function menumouseover(id, over)
{
  var menuitem = document.getElementById('menu').getElementsByTagName('td')[id - 1];
  menuitem.style.backgroundImage = over ? "url('/images/menubg.gif')" : 'none';
  menuitem.getElementsByTagName('a')[0].style.color = over ? '#b91010' : 'white';
}