window.onload = function() {
  var s = document.getElementsByTagName("span");
  for (var i = 0; i < s.length; i++) {
    if (s[i].className == "ns") {
      s[i].childNodes[0].nodeValue = "@";
    }
  }
}