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 + '%68%6F%6C%63%69%6D%2E%63%6F%6D';
	window.location.replace(locationstring);
}