var fDesc=new Array();
fDesc[0] = "GIF to AVI SWF Converter is an easy to use and powerful conversion tool that lets you convert animated GIF formats to AVI, SWF flash and various image formats such as BMP, JPEG, PNG and GIF. Also a bunch of effects, flips and split functions will provide for more flexibility during work with animated GIF.";

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