function mk_email(username, domain_prefix, domain_suffix) {
  return username + "@" + domain_prefix + "." + domain_suffix
}

function show_addr(username, domain_prefix, domain_suffix) {
  var email = mk_email(username, domain_prefix, domain_suffix);
  document.write("<a href=\"mailto:" + email + "\">" + email + "</a>");
}