var div="-at-";
s=document.body.innerHTML.split("["+div+"]");
out="";
for (i=0; i<s.length; i++) { if (out!="") out=out+"@";	out=out+s[i]; }
s=out.split("%5B"+div+"%5D");
out="";
for (i=0; i<s.length; i++) { if (out!="") out=out+"@";	out=out+s[i]; }
document.body.innerHTML=out;