formula_12...(9)