function hide_mailto(username, domain, pretext, posttext) {
    document.write("<a href='mailto:" + username + "@" + domain +"'>" + pretext + username + "@" + domain + posttext + "</a>");
}
function hide_email_in_input(name, username, domain) {
   document.write("<input type='hidden' name='" + name + "' value='" + username + "@" + domain + "'>");
}
function hide_bare_email(username, domain) {
  document.write(username + "@" + domain);
}