9000除以12.5简便算法