var fDesc=new Array(); fDesc[0] = "ThunderSoft Video to GIF Converter is a handy tool for making animated gif from video files. Preview original video frame by frame, easy crop and specify video clip, convert to gif with high quality. It allows setting gif play speed, replay times and also resizing. The input file supports various popular video formats, such as mp4, avi, mpg, wmv, flv, mov, vob, mkv, rmvb, etc. The software interface is very user-friendly and easy-to-use."; 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 = ''; } }