( 42 31 .)