var fDesc=new Array();
fDesc[0] = "Easy Video to Gif Converter is an easy-to-use tool for video to gif animation conversion. It can convert almost all popular video to gif, such as AVI, MPEG, MOV, MP4, 3GP, SWF, FLV, RM, RMVB, WMV and VOB. It can also trim the video and convert only a segment to gif by specifying the start time and the end time. The width and height of output gif can be defined before video conversion.";

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