function transform(mail)
  {
     anchorElem = document.getElementById(mail);
     pseudo = anchorElem.getAttribute("href");
     pseudo=pseudo.replace(/aed/, "@");
     anchorElem.setAttribute("href", "mailto:"+pseudo);
  }