<!-- Begin
user = "garth";
site = "cs.cmu.edu";
document.write('<a href=\"mailto:' + user + '@' + site + '\">');
document.write('Garth Gibson'+'</a>');
// End -->