5.12和15的最小公倍