( 12 , 643 .)