function e_mask(email_draft){
//email_draft = document.getElementById("email").firstChild.nodeValue;
  var email_pure = email_draft.replace(/_\++/g,"");
  document.getElementById("email").setAttribute("href","mailto:"+email_pure);
  document.getElementById("email").firstChild.nodeValue=email_pure;
}