( 15 , 939 .)