// JavaScript Document
<!--
      function decode_mail(before, after, text) {
        var adr = before +"@"+ after;
        if (text == "") {
          text = adr;
        }
        document.write ("<a href=\"mailto:"+ adr +"\">"+ adr +"</a>");
      }
    //-->