var lhs = "lipilee";
var rhs = "lipilee";
var tld = "hu";
function print_mail_to_link()
{
   document.write("<a href=\"mailto");
   document.write("&#58;" + lhs + "&#64;");
   document.write(rhs + "." + tld + "\">" + lhs + " at " + rhs + " dot " + tld + "<\/a>");
}