var fDesc=new Array();
fDesc[0] = "AVI GIF Converter is a conversion tool that enables you to convert AVI files into GIF files and vice-versa. The program has got an extremely intuitive interface, so no user will have any kind of problem figuring out how to convert files from one into another. On the program's main window there are two menus that will allow you to convert your files. If you want to convert from AVI into GIF files you will have to click on the left one, if you want to convert from GIF into AVI files you will have to click on the right one. In order to start converting, you will have to add the file or the files you want to convert, select an output direction and then press on the Convert Now button. There is a progress bar on the bottom of the application's main window that will show you how advanced the conversion is at the moment. You can cancel the conversion anytime you want by closing the program. AVI GIF Converter is very easy to use. The conversions can take a long time depending on how heavy the file is. There is a help button that will guide you and provide some useful tips in case you need them.";

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