( 7 , 939 .)