function unmask() {
	var masks = document.getElementsByTagName("a");
	for(i = 0; i < masks.length;i++) {
		if(masks[i].getAttribute("href") != null && masks[i].getAttribute("href").substr("0","6") == "mailto") {
			masks[i].setAttribute("href", masks[i].getAttribute("href").replace(" dot ",".").replace(" at ","@"));
			masks[i].innerHTML = masks[i].innerHTML.replace(" dot ",".").replace(" at ","@");
		}
	}
}