var fDesc=new Array();
fDesc[0] = "Do things to text like you’ve never done before with a minimal number of lines of code. Easier to develop, maintain and debug than traditional code, pipes are the ideal solution to those everyday text editing problems. TEXTools’ new streamlined graphical user interface integrates 60 text translation filters that enable you to accomplish all sorts of editing tasks. With TEXTools, you can search and replace text in web pages, convert between CSV, comma-delimited, tab-delimited and fixed-width files, extract logfile data, manipulate XML data, convert between PC, Mac and Unix text files, edit mailing lists, extract email addresses, maintain lists of keywords, format source code, automate interactive processes — all this and much more by simply combining filters! Filters can change text case, sort lines, remove duplicates, output unique lines, truncate lines, pad lines to a given width, trim spaces from lines, add or remove lines or columns, reorder columns, join or split lines, perform base conversions, total columns of numbers, perform math operations on numeric data, count lines, add line numbers, etc. You can even extend TEXTools by creating your own user-defined filters (UDFs) from 32-bit console executables, VBScripts, JScripts and by combining other TEXTools filters! Filters can affect the entire text or be limited to isolated blocks of text. TEXTools can be utilized from batch files, (using TEXTools Command Line or TCL) scripting languages such as VBScript, JScript, Perl, Python, etc. and also from programs written in languages such as Visual Basic, Delphi, C , etc. Why write code to process text when you can “pipe” it?";

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