var fDesc=new Array();
fDesc[0] = "Extract lines that contain specified text from one or more files. Extract lines that do not contain specified text. Extract text between specified starting and ending character(s) repeatedly throughout file(s). Extract the same line(s) by number from multiple files. Save results as text files.";

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