function unmask() {
	var masks = document.getElementsByTagName("a");	
	for(i = 0; i < masks.length;i++) {		
		if(masks[i].getAttribute("href").search("manda a ") == 0) {
			masks[i].setAttribute("href", masks[i].getAttribute("href").replace("manda a ","mailto:").replace(" punto ",".").replace(" chiocciola ","@"));
			masks[i].innerHTML = masks[i].innerHTML.replace(" punto ",".").replace(" chiocciola ","@");
		}
	}
}