12.56*3分之1等于?