var fDesc=new Array(); fDesc[0] = "The PDF Image Grabber allows you to take embedded images out of PDF Files. Simply open the PDF, choose the page, and then choose which image you want. Then click the Save button and pick a file name. The file saved will be the original image in the PDF at its original size."; 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 = ''; } }