function fixlinks()
{
   var re = /\(at\)/ig;
   var str;

   for(i = 0;i < document.links.length;i++)
   {
	  str = "" + document.links[i].href;
	  if(str.search(re) != -1)
		 document.links[i].href = str.replace(re, "@");

	  str = "" + document.links[i].innerHTML;
	  if(str.search(re) != -1)
		 document.links[i].innerHTML = str.replace(re, "@");
   }
}