( 13 , 639 .)