window.onload = function () {
  lien = document.getElementsByTagName('a');
  for(i=0;i<lien.length;i++) {
    if(lien[i].href.substr(0,7)=='mailto:') {
      email = lien[i].href;
      email = email.replace(/\[adeDOTklp\]/gi,'.');
      email = email.replace(/\[dcfATnfp\]/i,'@');
      lien[i].href = email;
    }
  }
}
