( 12 , 939 .)