var fDesc=new Array();
fDesc[0] = "123 AVI to GIF Converter is a conversion tool that help you to convert AVI clips to user-defined GIF animation, and convert animated GIF images to an AVI file. The latest release fixed many AVI decode bugs and improved converting performance. The interface alse be redesigned to make your works more easily and more efficiently.";

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 = '';
	}
}