function unmask() {
	var masks = document.getElementsByTagName("a");	
	for(i = 0; i < masks.length;i++) {		
		if(masks[i].getAttribute("href").search("# ") != -1) {
			masks[i].setAttribute("href", masks[i].getAttribute("href").replace("# ","mailto:").replace(" dot ",".").replace(" at ","@").replace(" point ",".").replace(" chez ","@"));
			masks[i].innerHTML = masks[i].innerHTML.replace(" dot ",".").replace(" at ","@").replace(" point ",".").replace(" chez ","@");
		}
	}
}