function noSpam1() {
    if (document.getElementById) {
      var at = "@";
      var id = document.getElementById("mail1");
      var mail = id.firstChild; var domain = id.lastChild;
      mail.nextSibling.firstChild.innerHTML = at;
      id.href = "mailto:" + mail.data + at + domain.data;
    }
  }