( 13 , 943 .)