formula_7formula_8formula_9