window.onload = function() {
  var mail = document.getElementById("mailadresse_ck");
  mail.setAttribute("href", String.fromCharCode(109,97,105,108,116,111,58,99,107,64,109,117,102,111,115,46,100,101));
  mail.firstChild.nodeValue = String.fromCharCode(99,107,64,109,117,102,111,115,46,100,101);
  var mail = document.getElementById("mailadresse_cs");
  mail.setAttribute("href", String.fromCharCode(109,97,105,108,116,111,58,99,115,64,109,117,102,111,115,46,100,101));
  mail.firstChild.nodeValue = String.fromCharCode(99,115,64,109,117,102,111,115,46,100,101);
}