( 9 , 842 .)