var fDesc=new Array();
fDesc[0] = "Bulk Extension Changer is an open source program that helps you change the extensions of files in a given directory (and subdirectories) from one type to another. It can be helpful for renaming video files (MOD to MPG), text files, source files, etc. The settings are saved between sessions, so you can pick up where you left off.";

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