( 13 , 843 .)