T366831 [CZSC 2023] 报数

Caiwen 和 明陌 正在又来玩一个报数游戏，规则如下： * 两人轮流报数，从 $1$ 开始，报出的数字需要一个比一个大。 * 满足下面条件之一的数字不可以被报出： * 如果一个数字含有 `7`，那么这个数字不能被报出来。 * 如果一个数不能被报出来，那么这个数字的倍数也不能报出来。 由于 明陌 不想再在玩游戏时输给 Caiwen，所以打算写一个程序：输入一个数字 $n$，求出下一个可以报出的数字。但 明陌 思考了很久都不知道怎么解决，于是把这个问题丢给了你。

一行，一个数，$n$。

一行，一个数，下一个可以被报出的数。

**样例 #1 解释** 由于 `7` 不能被报出，因此下一个能报出的数字是 `8`。 **样例 #2 解释** 由于 `7` 不能被报出，`14` 是 `7` 的倍数，也不能被报出。所以下一个能被报出的数字是 `15`。 **样例 #3 解释** 因为 $34=2\times17$，因此 `34` 不能被报出。因为 $35=7\times 5$ 因此 `35` 不能被报出。所以下一个能被报出的是 `36`。 **样例 #4 解释** 因为 `70` 到 `79` 这些数字中都含有 `7`，所以都不能被报出。 **数据范围** 对于 $10\%$ 的数据，满足 $n\le 10$。 对于 $20\%$ 的数据，满足 $n\le 100$。 对于 $40\%$ 的数据，满足 $n\le 10^3$。 对于 $60\%$ 的数据，满足 $n\le 10^4$。 对于 $70\%$ 的数据，满足 $n\le 10^5$。 对于 $80\%$ 的数据，满足 $n\le 10^6$。 对于 $100\%$ 的数据，满足 $n\le 10^7$。