<!--
var name = "hculbert";
var domain = "snu.edu";
document.write('<a href=\"mailto:' + name + '@' + domain +
'\">');
document.write(name + '@' + domain + '</a>');
// -->