// external_control.js
function CreateControl(PARAM, DIV_ID)
{
  var d = document.getElementById(DIV_ID);
  d.innerHTML = PARAM;
}