function write_mail(a, b, c) {
	document.write(a + "@" + b + "." + c);
}