var lhs = "info";
var rhs = "rotterdamportinfo.com";

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