function mapRollOver(area) {
  var imgname = "area_" + area + ".gif";
  document.getElementById("area").src = "img/area/" + imgname;
}

function mapRollOut() {
  document.getElementById("area").src = "img/area.gif";
}