// Used to prevent web crawlers from recording email addresses
function mail_to(name, domain) {
  document.write("<a href=\"mailto:"+name+"@"+domain+"\">"+name+"@"+domain+"</a>");
}