( 12 , 943 .)