( 20 , 871 .)