var fDesc=new Array();
fDesc[0] = "This is a program that can rename multiple files as per your specifications. To customize the rename operation, a set of variables can be put in the "Renaming Pattern" field; this program will replace it with the value. For example, ^ORIG^ means the original file name, before any modifications; ^EXT^ means the original file extension, including the period (.jpg, .mp3, etc) before any modifications.";

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