<!--
  function carta( nom ) {
    var casa = "berkeley.edu";
    var donde = "&#64;";
    var todo = nom + donde + casa;
    document.write("<" + "a" + " " + "href=" + "mail" + "to:" + todo + ">" + todo + "<\/a>");
  }
//-->