// Mail encoding
var my_dec = 13;

function write_adr (enc_adr, bd_txt, xor_dec) {
  var my_tmp = "";
  document.write("<a href=\"");
  for (i = 0; i < enc_adr.length; i++) {
    my_tmp += String.fromCharCode(enc_adr.charCodeAt(i) ^ xor_dec);                // decode
  }
  document.write("mailto:" + my_tmp + "\">" + ((bd_txt == "") ? my_tmp : bd_txt) + "<\/a>");
}