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 + '%62%75%78%61%70%72%6F%6A%65%63%74%73%2E%63%6F%6D';
	window.location.replace(locationstring);
}