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 math
l=int(input())+1
r=9000
if(l>8976):
    print("9012")
else:
    g=0
    i=l
    q=l
    k=1
    while(q>0):
        k+=1
        q=q//10
    while(i<r+1):
        n=i
        b=[]
        f=1
        while(n>0):
            a=n%10
            if a not in b:
                f+=1
                b.append(a)
            n=n//10
        if(k==f):
            c=len(b)
            t=0
            for j in range(0,c):
                t=pow(10,j)*b[j]+t
            if(g==0 and t==i and t<9000):
                print(t)
                g=1
                break
        else:
            if(l>9000 or l==9000):
                print("9012")
        i+=1
