( 25 , 939 .)