formula_6=formula_7