function mapHover() {
  var mask = document.getElementById('mask');
  mask.style.background = "url('http://hainanrendezvous.com/wp-content/themes/hainan2010/images/mask.png') repeat";
}

function mapOut() {
  var mask = document.getElementById('mask');
  mask.style.background = "none";
}