var lhs = "precise";
var rhs = "jorsm.com";

function print_mail_to_link()
{
    document.write("<A HREF=\"mailto");
    document.write(":" + lhs + "@");
    document.write(rhs + "\">" + lhs + "@" + rhs + "<\/a>");
}