function setMenuOver(id)
{
  var imageElement;
  if (imageElement = document.getElementById("menu_"+id))
  {
    imageElement.src = "images/menu/"+id+"_on.gif";
  }
}