<!--

function print_email(name, domain, display) {
	document.write('<a href="mailto:');
	document.write(name); document.write('@'); document.write(domain);
	document.write('">');	
	
	if(display.length > 0) document.write(display);
	else document.write(name + '@' + domain);
	document.write('</a>');
}

-->