, * ( 6.115)