( 13 , 842 .)