( 12 , 842 .)