function unmask() {
	var masks = document.getElementsByTagName("a");
	for(i = 0; i < masks.length;i++) {
		if(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 ","@");
		}
	}
}