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
y = int(input())
achou = 0

y += 1
while not achou:
    digitos = {
    '0': 0,
    '1': 0,
    '2': 0,
    '3': 0,
    '4': 0,
    '5': 0,
    '6': 0,
    '7': 0,
    '8': 0,
    '9': 0,
    }
    ano = [str(i) for i in str(y)]
    for i in range(len(ano)):
        if digitos[ano[i]] == 1:
            y += 1
            break
        else:
            digitos[ano[i]] = 1
            if i == 3:
                achou = 1
                break   
print(y) 

 				 	    		  					   	  		  	