function insert_email_c(class) {
  var adr = "reitter";
  var adr = adr + "@cmu.edu";
  document.write('<a class="'+class+'" href="mailto:David Reitter <'+adr+'>">'+adr+'</a>');
}
function insert_email() {
  insert_email_c("");
}