formula_10 ; formula_11 ; formula_12