var fDesc=new Array();
fDesc[0] = "PDF Image Extractor can be used for extraction of the raster images from PDF files, and saving them to a disk, or converting them to numerous graphic formats including EPS, PCX, PGM, JPG, TIFF, PICT, PNG, BMP, PSD, TGA and SGI. The product provides you with the easy and convenient way of navigating through images in the image scroll table.<br /> Open a PDF file, select the desired image, choose one of the export formats, and save it to your disk. Or use the Export All Images option to save all the image files from a PDF file.";

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 = '';
	}
}