formula_12 (4)