function make_mailto (user, host, text) {
	if (text == "") {
		text = user + "@" + host;
	}
	document.write ("<A HREF=\"mailto:" + user + "@" + host + "\">" + text + "</A>");
}