. ( 6 , 516 .)