// JavaScript Document
<!--
function put_adress(adr) {
  var att = "&#x40;";
  var hst = "&#100;&#105;&#103;&#45;&#98;&#101;&#114;&#108;&#105;&#110;";
  var dom = ".de";
  document.write("E-Mail: <a href=" + "&#x6D;&#97;&#105;&#x6C;&#x74;&#111;&#x3A;" + adr + att + hst + dom +" class=\"email\" >" + adr + att + hst + dom + "</a>");
}
//-->