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
input_list = []
num = 0
while True:
    if num == 1:
        break
    line = input()
    # line = line.split()
    # line = list(map(int, line))
    # input_list.append(line)
    num += 1

# input_list.pop(0)


def distinct(n):
    dlist = []
    line_list = [int(i) for i in str(n)]
    for i in line_list:
        if i not in dlist:
            dlist.append(i)
        else:
            return False
    return True


count = int(line) + 1
while not distinct(count):
    count += 1

print(count)