( 12 , 641 .)