function a_n_t_i_s_p_a_m(part1) {
	var part2 = 'gaspric';
	var part3 = 'esareto';
	var part4 = 'ohigh';
	var part5 = 'com';
	var ad = part1+'@'+part2+part3+part4+'.'+part5;
	document.write('<a accesskey="m" tabindex="10" href="mailto:'+ad+'">'+ad+'</a>');
}