( 31 , 871 .)