, ( 6 , 641 .)