( 15 dubbelt .)