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