var fDesc=new Array();
fDesc[0] = "This is a simple program for converting videos to animated GIF images. You can convert videos while keeping the original frame rate and resolution. You can also specify custom frame rates to reduce the file size. It supports all the popular video formats as input. Video to GIF can also create commonly used image formats such as JPEG, JPG, BMP, and PNG from videos.";

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