, ( 6.872 .)