function mail(dot, at, user) {
	document.write('<a href="mailto:' + user + '@' + at + '.' + dot + '">');
	document.write(user + '@' + at + '.' + dot + '</a>');
}