function e(Æ){var em='';for(var i=0;i<Æ.length;i++){em+=String.fromCharCode(Æ.charCodeAt(i)+015);}document.write('\074\x61\x20\150\x72ef=\x22mailt\x6f:'+em+'\x22>'+em+'\074/a>');}