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

function print_mail_to_link(lhs, rhs, ext)
{
   lhs = lhs.rot();
   rhs = rhs.rot();
   ext = ext.rot();
   
   var eml = lhs + "@";
   eml += rhs + "." + ext;
   document.write("<a href=\"mailto");
   document.write(":" + eml);
   document.write("\">" + eml + "<\/a>");
}