function toggleOptions(on)
{
	var elements = document.getElementById('demoRequestForm').elements;
	for(i = 0; i < elements.length; i++)
	{
		if(on)
			document.getElementById('deviceOptions').style.color = '#000055';
		else
			document.getElementById('deviceOptions').style.color = '#888888';
		if(elements[i].type == 'checkbox')
			elements[i].disabled = !on;		
	}
}