formula_15...(12)