( 42 , 871 .)