// JavaScript source code
function ReplaceAt() {
  var body = document.getElementsByTagName("body")[0];
  while(body.innerHTML.indexOf("(at)") > -1) {
    body.innerHTML = body.innerHTML.replace("(at)","@");
  }
}