15和12和13的最大公因数