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