function hide_some2()
{
	document.getElementById('workforce').style.color = '#aeaeae';
	document.getElementById('vehicle').style.color = '#aeaeae';
	document.getElementById('asset').style.color = '#aeaeae';
}