var fDesc=new Array();
fDesc[0] = "Video to GIF Animation Converter can be used to convert video to animated GIF format files. It is also a converter which can convert video to static images. It supports different kinds of input video formats and output image formats. Video to GIF Animation Converter allows users to clip video to GIF animation with different starts and ends.<br /> Video to GIF Animation Converter allows you to convert Video to GIF format files in a short time. Just choose the output format as &quot;GIF Animation&quot; and set the GIF frame rate, you can get the animated GIF file with different play speeds.";

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