function changeTxt(txt1) 
			{
			document.getElementById('title1').innerHTML= txt1;
			}