0.8X(12.5-1.25)的简便运算