<!--
var name = "&#109;&#107;&#97;&#110;&#103;";
var domain = "wost.umass.&#101;&#100;&#117;";
document.write('<a href=\"mailto:' + name + '&#64;' + domain + '\">');
document.write(name + '&#64;' + domain + '</a>');
// -->

