function menuOver(image){
  document.getElementById(image).src = "images/" + image + "_over.gif";
}

function menuOut(image){
  document.getElementById(image).src = "images/" + image + ".gif";
}