function write_mail(user, host, text) {
	var h = 'href';
	var m1 = 'mai'; var m2 = 'lto';

	if (user == "haemor"+"rhoid") { user = "logic"; }

	if (host == undefined || host == "") {
		host = "harrier" + "." + "eu" + "." + "org";
	}
	
	document.write('<a '+h+'="'+m1+m2+':'+user+'@'+host+'">');
	if (text == undefined || text == "") {
		document.write(user+'&#64;'+host);
	} else {
		document.write(text);
	}
	document.write('</a>');
}

function reloadPage(url) {
	top.location.replace(url);
}