function caption(txt) {
	document.getElementById("caption").innerHTML=txt
}