<!--
function writeEmailLink(user, domain, text) {
	email = user + '@' + domain;
	if (text == undefined) document.write('<a href="mailto:' + email + '">' + email + '<\/a>');
	else document.write('<a href="mailto:' + email + '">' + text + '<\/a>');
}
//-->