if (document.getElementsByTagName){
	a = document.getElementsByTagName("a");
	for (i=0;i<a.length;i++){
		target = a[i].href;
		
		if (target.search("[at]") != -1 && target.search("mail:") != -1) {
			a[i].href = "mai" + "lto:" + target.substr(5);
			a[i].href = a[i].href.replace("[dot]", ".");
			a[i].href = a[i].href.replace("[at]", "@");
			a[i].firstChild.data = a[i].firstChild.data.replace("[dot]", ".");
			a[i].firstChild.data = a[i].firstChild.data.replace("[at]", "@");
		}
	}
}