( 8 42 .)