( 19 , 871 .)