function generate_address( hostname, username, text )
{
  var atsign = "@";
  var addr = username + atsign + hostname;
  if(text == "\@")
    text = username + atsign + hostname;
  document.write("<a href=\"mailto:" + addr + "\">" + text + "<\/a>");
}

/* This warning is no longer used, but it's here for posterity.  Don't touch the exhibit, children. */

function printWarning()
{
  if(navigator.appCodeName == "Mozilla" && navigator.appName == "Netscape")
  {
    document.write("<div id='printWarning'>Firefox has multiple unresolved bugs that prevent it from printing correctly.  Please print in another browser.</div>");
  }
}