<!-- Begin

user = "karen";

site = "ece.cmu.edu";

document.write('<a href=\"mailto:' + user + '@' + site + '\">');

document.write('Karen Lindenfelser'+'</a>');

// End -->