var fDesc=new Array(); fDesc[0] = "Movie to GIF Converter is a powerful tool to convert video file to animated GIF file and enables you to add over 50 effects (Add Text, Add Image, Adjust Brightness, Adjust RGB, Adjust Contrast, etc.) to the GIF file. It comes with fast speed and supports a lot of popular movie formats, such as AVI, MPEG1, MPEG2 (NTSC/PAL options for DVD, VCD, SVCD), WMV, ASF and Quick Time formats. The interface is very user-friendly and easy-to-use. It provides a built-in player that allows you to select the section as you view the clip. You can use this software to convert selected part or convert a single video file."; 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 = ''; } }