( 11 , 871 .)