formula_42(16)