function mail(addr) {

  document.write(addr);
  document.write("@");
  document.write("sup");
  document.write("erhorse.");
  document.write("nl");

}

function mailref(addr) {

  document.write("<a href='ma");
  document.write("ilto:");

  mail(addr);

  document.write("'>");
  
  mail(addr);

  document.write("</a>");

}