function maakzichtbaar(divnaam)
{
	myDiv=document.getElementById(divnaam);
	myDiv.style.display='';
	while (myDiv.style.display!='')
	{
		//wacht
	}
}
function verbergen(divnaam)
{
	myDiv=document.getElementById(divnaam);
	myDiv.style.display='none';
	while (myDiv.style.display!='none')
	{
		//wacht
	}
}

function displayorhide(divnaam)
{
	myDiv=document.getElementById(divnaam);	
	if (myDiv.style.display=='none')
	{
		maakzichtbaar(divnaam);
	}
	else
	{
		verbergen(divnaam);
	}
}