function writeText(txt)
	{
	document.getElementById("desc").innerHTML=txt;
	}