// JScript File

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