( 3 71 C .)