( 20 , 847 .)