function setInnerHTML(id, html)
{
  document.getElementById(id).innerHTML=html;
}