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.
i=input()
t=1
while t!=0:
    i=int(i)+1
    a=int(i)%10
    b=int(int(i)%100)/10
    c=int(int(i)%1000)/100
    d=int(i)/1000
    if int(a)!=int(b) and int(c)!=int(b) and int(d)!=int(b) and int(a)!=int(c) and int(a)!=int(d) and int(c)!=int(d):
        print(int(d),int(c),int(b),int(a),sep='')
        t=0
    else:
        t=1