function setHtml(id,s) { document.getElementById(id).innerHTML=s; } // eolas workaround