function replaceMailAddresses() { var elements; elements=document.getElementsByTagName("a"); for (i=0;i