But there’s a well-known problem: smallest number divisible by 7, 11, 13 is 1001.