0.8*(12.5+0.125)简便计算