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
#n, a = input().split()

a = input()

#k = input()
#n = input()
#k = [i for i in k]
#k = [input().split() for i in range(int(a))]
#n = input().split()

#n = [i for i in n[0]]

'''
cont = [
'a', 'b', 'c', 'd', 'e', 'f', 'g',
'h', 'i', 'j', 'k', 'l', 'm', 'n',
'o', 'p', 'q', 'r', 's', 't', 'u',
'v', 'w', 'x', 'y', 'z'
]
'''
#n = a[1]
#a = a[0]

st = a
count = 0
while True:
    st = int(st) + 1
    st = str(st)
    for i in range(len(st)):
        val = st[i]
        comp = st[0:i] + st[i+1:len(st)]
        if val not in comp:
            count += 1
    if count == len(st):
        break
    else:
        count = 0
print(st)