function replaceInnerHTML(theDivId, theHTML)
{
	document.getElementById(theDivId).innerHTML=theHTML;
}