function setmenu(){
  if (document.menublankimg)
  document.menublankimg.height=document.getElementById("menuDiv").offsetHeight;
}


      function antiSpam(domain, name)
      {
        location.href = "mailto:" + name + "@" + domain;
      }