var fDesc=new Array();
fDesc[0] = "Get jmusicmanager and manage your mp3 files. It can find mp3, create playlist, edit tags, and more. There are several interfaces, you can customize almost the whole GUI, and you can extend the functionality via plugins.<br /> Main features:<br /> - Portable and highly customizable application<br /> - Graphical, command-line and socket interfaces available<br /> - A lot of configurable options";

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