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