/**
 * @author eric@cactusmedia.biz
 */
function highlight(area) {
  document.getElementById(area).className = "maplink";
}
function unhighlight(area) {
  document.getElementById(area).className = "";
}