function hoverButton(el, status)
{
	if (status == 0)
	{
		if (el.className == 'button')
		{
			el.style.backgroundColor = '#cccccc'; //cccccc
			el.style.color = '#333333'; //333333 blauw
		}
		else
		{
			el.style.backgroundColor = '#001DF2'; //001df2 groen ?
			el.style.color = '#ffffff'; //ffffff
		}
	}
	else if (status == 1)
	{
		el.style.backgroundColor = '#007770'; //007770 
		el.style.color = '#ffffff'; //ffffff
	}
}

function init()
{
	try
	{
		additionalInit();
	} catch(e)
	{
		// geen additionalInit() gedefinieerd; OK
	}
}

function toggleCheck(id)
{
	var check = document.getElementById(id);
	if (check.checked)   check.checked = ''; else check.checked = 'checked';
}

function selectRadio(id)
{
	var check = document.getElementById(id);
	check.checked = 'checked';	
}