42 dubbelt * .)