function write_mailto(user, host, display_name) {
		document.write("<a href='mailto:" + user + "@" + host + "'> \n");
		if (display_name)
			document.write(display_name + "\n");
		else
			document.write(user + "@" + host + "\n");
		document.write("</a> \n");
	}