It seems like the year of 2013 came only yesterday. Do you know a curious fact? The year of 2013 is the first year after the old 1987 with only distinct digits.

Now you are suggested to solve the following problem: given a year number, find the minimum year number which is strictly larger than the given one and has only distinct digits.
The single line contains integer *y* (1000 ≤ *y* ≤ 9000) — the year number.
from string import digits
import sys
input = sys.stdin.readline

############ ---- Input Functions ---- ############


def inp():
    return (int(input()))


def inlt():
    return (list(map(int, input().split())))


def insr():
    s = input()
    return (list(s[:len(s) - 1]))


def invr():
    return (map(int, input().split()))


# cases = int(input())
year = [int(x) for x in [*input()]]
dig = [int(x) for x in [*digits]]

ind = 0
for i in range(len(year), -1, -1):
    ind = dig[dig.index(year[i])]
    if year.count(year[i]) > 1:
        for j in range(len(dig)):
            if year.count(year[i]) > 1:
                if ind == len(dig):
                    ind = 0

                year[i] = dig[ind]
                ind += 1
            else:
                break

    else:
        continue

print(year)
