1000和725的最大公因数