12和42的最小公倍数