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