// javascript snippets
function address_of(contact, user, host) {
	document.write("<a href=" + "mail" + "to:" + user + "@" + host+ ">" + contact + "</a>")
}