// javascript document

function econvert(str)
{
  str = str.replace(/_DOT_/gi, '.');
  str = str.replace(/_AT_/gi, '@');
  return str;
}

function renderEmails()
{
  var spans = document.getElementsByTagName("span");
  for (i=0; i< spans.length; i++) 
    if (spans[i].className=="email") 
      spans[i].innerHTML = econvert(spans[i].innerHTML);
}
