( 42 dubbel .)