function resizeHeight()
{
	// Bepaal de hoogte van het scherm
	if ( window.innerWidth ) // firefox
	{
		hoogte = window.innerHeight;
		breedte = window.innerWidth;
	} 
	else if (document.all) // IE
	{
		breedte = document.body.clientWidth;
		hoogte = document.body.clientHeight;
	}	

	if ( el = document.getElementById( 'content' ) )
	{
		//header = 173;
		//footer = 22;
		//marges = 50;
		
		document.getElementById( 'opties' ).style.height = ( hoogte - 174 - 22 - 60 ) + "px";
		document.getElementById( 'content' ).style.height = ( hoogte - 174 - 45 - 60 ) + "px";
		
			
	}
		
}