function print_mail_url(domain, username, text)
{
  if (domain == "") {
    domain = "nyh" + "o.org";
  }
  if (text == null || text == "") {
    text = username + '@' + domain;
  }
  document.write('<a href="' + 'mai' + 'lto:' + username + '@' + domain + '">'
                 + text + '</a>');
} // print_mail_url()