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.
def yearSplit(year):
     thou = int((year - year % 1000)/1000)
     a = year - thou*1000
     hund = int((a - a % 100)/100)
     a = year - thou*1000 - hund*100
     tens = int((a - a % 10)/10)
     ones = year - thou*1000 - hund*100 - tens*10

     return [thou, hund, tens, ones]


yearVal = int(input())

while True:
    yearVal = yearVal + 1
    numbs = yearSplit(yearVal)

    if numbs[0] != numbs[1] and numbs[0] != numbs[2] and numbs[0] != numbs[3] and numbs[1] != numbs[2] and numbs[1] != numbs[3] and numbs[2] != numbs[3]:
        print(yearVal)
        exit()
