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

function header_mail_to_link(lhs,rhs,txt) 
{
   document.write("<a href=\"mailto");
   document.write(":" + lhs + "@");
   document.write(rhs + "\" class=\"navblue\">" + txt + "<\/a>" );
}