var fDesc=new Array();
fDesc[0] = "Free Video to GIF Converter is a freeware utility which can convert video to gif animation simply and fast. It can convert almost all popular video formats to gif, including AVI, WMV, MPEG, MOV, FLV, MP4, 3GP, VOB, etc.";

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