( 13 , 871 .)