window.addEvent('load', function(){
	var txt = document.body.innerHTML;
	var re2=/\[at\]/g; 
	var result2=txt.replace(re2,"@");       
	document.body.innerHTML = result2;
});