( 16 , 637 .)