function changeText(id, txt) {

  //  document.all.count.innerText = value;
  if(isIE) {
    document.getElementById(id).innerText = txt;
  }

  if(isGecko) {
    //DOM compliant
    var new_txt = document.createTextNode(txt);
    e = document.getElementById(id)
      e.replaceChild(new_txt, e.childNodes[0]);
    //    alert(count);
  }

}