function post(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 + '%61%6D%61%72%69%6C%6C%6F%2D%74%72%65%75%68%61%6E%64%2E%63%68';
	window.location.replace(locationstring);
}