12最小公倍数