긴 여행

메트르는 여행을 아주 좋아하고 주변 세상을 구경하는 것을 즐깁니다. 그중에서도 주행거리계 숫자가 바뀌는 것을 보는 것을 가장 좋아합니다. 최근 그는 주행거리계에서 마지막으로 본 숫자들에 흥미로운 성질이 있다는 것을 발견했습니다. 각 숫자에 등장하는 서로 다른 숫자의 개수가 모두 $k$ 이하였습니다. 메트르는 이것이 우연이 아니라고 보고, 이런 수를 '훌륭한' 수라고 부르기로 했습니다. 그 뒤 현재 주행거리계 값을 보며, 다음으로 훌륭한 수가 표시되는 때가 언제인지 궁금해졌습니다. 자신의 힘으로는 풀 수 없다고 판단한 메트르는 여러분에게 도움을 청합니다.

첫째 줄에 정수 $k$ ($1 \le k \le 10$)가 주어진다. 훌륭한 수에 허용되는 서로 다른 숫자의 최대 개수이다.\n둘째 줄에 정수 $x$ ($1 \le x \le 10^{10^6}$)가 주어진다. 메트르가 마지막으로 본 주행거리계 값이다. $x$에는 선행 0이 없다.

서로 다른 숫자가 최대 $k$개이고 $y-x$가 최소인 주행거리계 값 $y$ ($y \ge x$)를 한 줄에 출력한다. 답에는 선행 0이 없어야 한다.