function writeDiv(divName, html) {
  document.getElementById(divName).innerHTML = html;
}