CF146B Lucky Mask

Petya 非常喜欢幸运数字。众所周知，幸运数字是十进制表示中只包含幸运数字 $4$ 和 $7$ 的正整数。例如，$47$、$744$、$4$ 是幸运数字，而 $5$、$17$、$467$ 不是。 Petya 将一个正整数 $n$ 的掩码（mask）定义为：从左到右依次写下 $n$ 中所有幸运数字所得到的数字。例如，数 $72174994$ 的掩码是 $7744$，数 $7$ 的掩码是 $7$，数 $9999047$ 的掩码是 $47$。显然，任意数的掩码永远是一个幸运数字。 现在 Petya 有两个数——一个任意正整数 $a$ 和一个幸运数字 $b$。请你帮他找到最小的 $c \ (c > a)$，使得 $c$ 的掩码为 $b$。

唯一一行包含两个整数 $a$ 和 $b$（$1 \leq a, b \leq 10^{5}$）。保证 $b$ 是幸运数字。

输出一行，包含要求的那个数 $c$。

由 ChatGPT 5 翻译