function decode(s) {
	 var n=0;
	 var r="";
	 for(var i=0;i<s.length;i++) { 
		n=s.charCodeAt(i); 
		//if (n>=8364) {n = 128;}
		r += String.fromCharCode(n-3); 
	 }
	 return r;
}
function add(s) {
         r=decode(s);
         document.write('<A href="mailto:'+r+'">'+r+'</a>')
}

