( 12 , 847 .)