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.
'''
  Title: Beautiful Year
  Author: Robiul Hossain
  input: y
  output: x
'''
# Take the input in string
y = input()
# Convert the taken num to int data type
x = int(y)
# Loop Until find minimum year number that has distinct digits
while True:
  x += 1
  arr = list(str(x))
  s = set(arr)
  if len(s) == len(arr):
    print(x)
    break
