12和17的最小公倍数