var fDesc=new Array();
fDesc[0] = "IPNetSwitch is a network tool to change the IP network configuration of your computer. With IPNetSwitch you can manage different network configurations. With 'Set IP' you set this IP address to the selected network interface. In the display window you can see your actual network configuration.";

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