var rhs = "portapts.com";


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