( 30 , 637 .)