// protect e-mail addresses from harvesting programs
function writeEmailLink(user, domain, optionalDisplayLink)
{
if (!optionalDisplayLink)
{
  optionalDisplayLink = user + "&#64;" + domain;
}
document.write("<a href='mailto" + ":" + user + "%40" + domain + "'>" + optionalDisplayLink + "</a>");
}