function showMails() {
var quotes=document.getElementsByTagName("div");
for(var i=quotes.length-1;i>=0;i--){
var q=quotes[i];
if(q.className=="mail"){var t=unescape(q.title);
t=t.replace("(at)","@").replace("-nospam","");
while(t.indexOf('(dot)')>0){t=t.replace("(dot)",".");}
q.firstChild.nodeValue=t;}
}}