var fDesc=new Array(); fDesc[0] = "GIF Optimizer is a nice utility you can use to easily optimize GIF file for your website. Savings of up to 90% in file size is possible, which can decrease web page download times, save the disk space and reduce bandwidth charges. GIF optimizer includes two preview panes to help you compare the original GIF with the optimized GIF. The color reduction option is able to create much smaller GIF!"; 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 = ''; } }