function r13(t){var s=new String(t);var d=[];var l=s.length;var b;if(l>0){for(var i=0;i<l;i++){b=s.charCodeAt(i);if(((b>64)&&(b<78))||((b>96)&&(b<110)))b=b+13;else{if(((b>77)&&(b<91))||((b>109)&&(b<123)))b=b-13}d[i]=String.fromCharCode(b)}return d.join('')}}
function m(t){var a=r13(t);document.write('<a href="mailto:'+a+'">'+a+'</a>');}
