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