function makelink( name, domain, pre ) {
	document.write( '<a href="mailto:' );
	document.write( name + '&#64;' );
	document.write( domain + '">' + pre );
	document.write( name + '&#64;' + domain );
	document.write( '</a>' );
}