var fDesc=new Array(); fDesc[0] = "Free GIF To JPG Converter is a program that provides support for converting all your GIF images to JPG files. he app needs you to specify two things only: input file to be converted and the output folder for the converted file to be saved. After conversion is finished you can open the output folder by clicking 'Open Output Folder' button."; 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 = ''; } }