<!-- Begin
user = "ganger";
site = "ece.cmu.edu";
document.write('<a href=\"mailto:' + user + '@' + site + '\">');
document.write('Greg Ganger'+'</a>');
// End -->