function uncodeEmailAddresses() {
	for(i=0; document.getElementsByTagName("a")[i]; i++) {
		href = document.getElementsByTagName("a")[i].href;
		if(href.search("mailto:") != -1 && href.search("(at)") != -1) {
			document.getElementsByTagName("a")[i].href = href.split("(at)")[0] + "@" + href.split("(at)")[1];
		}
	}
}