// external_script.js
function CreateControl(DivID, theString) {
  var d = document.getElementById(DivID);
  d.innerHTML = theString;
}