formula_23(5)