var fDesc=new Array();
fDesc[0] = "PDFEdit is a free editor for PDF documents. Complete editing of PDF documents is possible with PDFedit. You can change raw PDF objects (for advanced users) or use many GUI functions. Functionality can be easily extended using a scripting language (ECMAScript).";

function tShowHide(id, show)
{
	var s = document.getElementById("desc");

	if ((s.innerHTML.length<=212 || show==1) && show!=2)
	{
		s.innerHTML = fDesc[id];
		if (document.getElementById('m1'))
			document.getElementById('m1').style.display='none';
		if (document.getElementById('m2'))
			document.getElementById('m2').style.display='none';
		if (document.getElementById('more_txt'))
			document.getElementById('more_txt').style.display='inline';
	}
	else
	{
		s.innerHTML = '';
	}
}