// prevents spammers from harvesting the mudd email
var name = "mudd";
var domain = "princeton.edu";
document.write('<a href=\"mailto:' + name + '@' + domain + '\">');
document.write(name + '@' + domain + '</a>');