function decodemail(s) {
    var i, o = "";
    
    for(i = 0; i < s.length; i++)
        o += String.fromCharCode(s.charCodeAt(i) - 2);
    
    return o;
}

function decodemail2(s) {
    s = s.replace("_AT_", "@");
    return s.replace(/_DOT_/g, ".");
}

function mailto(s) {
    window.location = "mailto:" + decodemail2(s.substr(7));
    return false;
}