var fDesc=new Array();
fDesc[0] = "Coolmuster GIF Animator allows you to convert pictures into animated files in GIF format. You can use a large number of different graphics formats in GIF Animator, including JPEG, PNG, TIFF, GIF, BMP and many others. You can not only preview the imported pictures one by one, but also preview your edited GIFs as many times as you want before saving.";

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