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