var fDesc=new Array();
fDesc[0] = "Random Number Generator is a simple and lightweight application that can generate random numbers in user-defined intervals. You can generate integers and decimal numbers that find themselves within an interval set by you. You can copy the last processed or the selected number to the Clipboard or save it in a TXT file.";

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