function menuOver(menu)
{
  document.getElementById(menu).style.background = "url('images/menuback_hot.jpg')";
}

function menuOut(menu)
{
  document.getElementById(menu).style.background = "url('images/menuback.jpg')";
}