/* criptaggio degli indirizzi mail per evitare lo spam */

var a = document.getElementsByTagName('a');
for(var i = 0, max = a.length; i < max; i++) {
	var el = a[i];
	if(el.href.indexOf("mailto") === 0) {
			el.href = el.href.replace('#', '@');
	}
}