, ( 6 , 724 .)