function ChangeTxt(divname, txt) {

          if(document.getElementById){
              document.getElementById(divname).innerHTML = txt;
      }
    }