function menuMouseOver (element) {
  var link = element.getElementsByTagName("a")[0];
  if(link.className != "menu-active") {
    element.style.backgroundImage = "url(static/menu-hover.gif)";
    link.className = "menu-hover";
  }
}

function menuMouseOut (element) {
  var link = element.getElementsByTagName("a")[0];
  element.style.backgroundImage = "";
  link.className = element.className;
}