12.3 公式输出