<!--
  function address( username ) {
    var domain = "berkeley.edu";
    var atsign = "&#64;";
    var addr = username + atsign + domain;
    document.write( 
      "<" + "a" + " " + "class=" + "more"  + " " + "href=" + "mail" + "to:" + addr + ">" +
      addr +
      "<\/a>");
  }
//-->