function make_email_html(username, hostname) {
  var linktext = username + "@" + hostname;
  document.write("<a href=" + "mail" + "to:" + username +
  "@" + hostname + ">" + linktext + "</a>");
}