var fDesc=new Array(); fDesc[0] = "It's an application that allows you to quickly resize images. In addition to the default settings you can also manually set your scaling options in the software. You can select a fixed output size in pixels or in percent of the original size. The JPEG compression factor can manually be set between 0 and 100% quality. In addition you can also add an individual file name extension, which will be added to each scaled image. In addition to a random character string you can also add various attributes of the scaled image in angle brackets. for example represents the length of the long edge of the image in pixels. The string x would add the extension x1500 to an image with the size of 1000x1500 pixels."; 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 = ''; } }