( 5 , 871 .)