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>");

}