( 19 , 842 .)