( 13 , 643 .)