var	LastActive;

function menueshow(from, which)
{
	doHideMe('allsensors');
	doHideMe('amat');
	doHideMe('lam');
	doHideMe('tel');
	doHideMe('novellus');

	if (LastActive) LastActive.className = 'subpoint';
	LastActive = from;
	from.className = 'subpoint_a';
	if (document.getElementById(which)) document.getElementById(which).style.visibility = '';
}


function doHideMe(Me)
{
	if (document.getElementById(Me)) document.getElementById(Me).style.visibility = 'hidden';
}