( 13 , 641 .)