var fDesc=new Array();
fDesc[0] = "Animated GIF Producer is a quick and remarkably easy-to-use tool for creating various animations, buttons and banners that will make your website shine. You no longer need to spend money on complex video processing platforms that will take you a couple of days to learn how to make a simple GIF animation.";

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