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.

Input

The single line contains integer y (1000 ≤ y ≤ 9000) — the year number.

Output

Print a single integer — the minimum year number that is strictly larger than y and all it's digits are distinct. It is guaranteed that the answer exists.

Examples

Input

1987


Output

2013


Input

2013


Output

2014
data = input()
ll = len(data)
k = [0, 1, 2, 3, 4, 5, 6, 7, 8, 9]
ans = ""
for i in range(1, len(data)):
    mm = data[:i+1]
    if mm.count(data[i]) > 1:
        data = data[:i+1]
        break
while data:
    x = int(data[-1])
    if data.count(str(x)) <= 2:
        for i in k[k.count(x):]:
            if i > x and str(i) not in data:
                ans = str(i)
                break
    data = data[:-1]
    if ans:
        break
data = data + ans
if len(data) == ll: 
    print(data)
else:
    while len(data) < ll:
        for i in k:
            if str(i) not in data:
                data = data + str(i)
                break
    print(data)