function support_address(email_rot13) {
  var v1="";
  v1+=email_rot13.replace(/[a-zA-Z]/g, function(c){return String.fromCharCode((c<="Z"?90:122)>=(c=c.charCodeAt(0)+13)?c:c-26);});
  return v1;
}

function send_support_mail() {
  window.location="mail\u0074o\u003a"+addr;
}

//this prevents W3 validation errors in the site itself
function email_link(email_rot13) {
  addr = support_address(email_rot13); //global
  var link = '<a onclick="send_support_mail(); return false;" href="email">'+addr+'</a>';
  return link;
}