code: function replaceText(id, text) {
      var element = document.getElementById(id)
      if (null == element) {
  //      alert("error: can't find element with id '" + id + "'")
          return
      }
  
      element.innerHTML = text
  }
docs: ---------------------------------------------------------------------