( 2 42 .)