formula_80.