var fDesc=new Array();
fDesc[0] = "GIF Animator allows you to create or edit animated GIF files for your Web pages easily. With its special features you can optimize, prepare GIF files for your Web page also. GIF Animator can handle any type of GIF animation; it provides high compression and great quality for your animated GIF files.<br /> <br /> GIF Animator is a GIF animation editor, you can use a built-in image editor or any standalone graphics editor to create image files that will assemble into GIF animation. It supports JPEG, BMP, PNG, ICO, and GIF files.<br /> <br /> Create text effect animated GIF images.<br /> Create slide show style animated GIF images. (More than 100 styles).";

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