function replaceElem(DivID, value) {
  var d = document.getElementById(DivID);
  if (d) d.innerHTML = value;
}
