var rhs1 = "ha-kol.";
var rhs2 = "co.il";

function print_mail_to_link( lhs ) 
{
   document.write("<a href=\"mailto");
   document.write(":" + lhs + "@");
   document.write(rhs1 + rhs2 + "\">" + lhs + "@" + rhs1 + rhs2 + "<\/a>");
}