( 12 , 637 .)