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
import re
n=input()
x=int(n)

for i in range(x+1,10000):
    m=str(i)
    a = re.findall(('[0]'), m)
    b = re.findall(('[1]'), m)
    c = re.findall(('[2]'), m)
    d = re.findall(('[3]'), m)
    e = re.findall(('[4]'), m)
    f = re.findall(('[5]'), m)
    g = re.findall(('[6]'), m)
    h = re.findall(('[7]'), m)
    j = re.findall(('[8]'), m)
    k = re.findall(('[9]'), m)



    if len(a)>1 or len(b)>1 or len(c)>1 or len(d)>1 or len(e)>1 or len(f)>1 or len(g)>1 or len(h)>1 or len(j)>1 or len(k)>1:
        continue
    else:
        print(i)
        break