// JavaScript Document


function settitle(text){
	document.getElementById('titletext').innerHTML = text;
}

function changeTxt(id,txt){
	var obj = document.getElementById(id);
	obj.firstChild?obj.firstChild.data=txt:obj.appendChild(document.createTextNode(txt))
}