function grayOut(disp)
{
	var dark = document.getElementById('darkenBG');

	if (disp)
	{
		dark.style.display='block';				 
	}
	
	else
	{
		dark.style.display='none';
	}
	
}