( 25 , 639 .)