0.8*(12.5-1.25)的简便计算