20和17的最小公倍数是多少?