function mail(name) {
	var c = "59049:15552";
	var ac = c.split(":");
	var s = "";
	for (i=1; i<ac.length; ++i) {
		s += String.fromCharCode(Number(ac[i])/Math.sqrt(Number(ac[0])));
	}
	locationstring = 'mai' + 'lto:' + name + s + '%74%6F%6E%6F%6E%67%2E%62%69%7A';
	window.location.replace(locationstring);
}
function at() {
	var at = "&" + "#" + "6" + "4";
	document.write(at);
}