function setDivText(divName, newText){
		document.getElementById(divName).firstChild.nodeValue=newText;
	}