3个0.25是多少