( 15 , 847 .)