<!--
function change(div,newtxt)
{ 
	document.all(div).innerHTML = newtxt
}
//-->