var fDesc=new Array();
fDesc[0] = "JKR Icon Extract allows you to extract icons from an icon library file or dynamic link library. You can also use it to convert .ico files to another other file format.<br /> <br /> JKR Icon Extract will extract or convert icons to the following file formats:BMP, GIF, ICO, JPG, PNG, TIFF and WMF";

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