function WriteEmail(name, civet)
{
  var em = name + "@" + (civet ? "civet." : "") + "berkeley." + "edu";
  document.write('<a href="mailto:' + em + '">' + em + '<\/a><br>');
}