var fDesc=new Array();
fDesc[0] = "Remote Desktop Manager lets you configure and manage multiple remote connections, and share them between users. You can launch remote connections and easily switch between machines, using this tool. Remote Desktop Manager also includes a secure password vault useful for saving credentials and speeding up the connection process with credential injection.";

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