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
#!/usr/bin/env python3
# -*- coding: utf-8 -*-
"""
Created on Mon Oct 19 01:07:10 2020

@author: Nille
"""

##Problem: 271A

yearIn = int(input())

numNextYear = yearIn + 1
i = 0
while i == 0:
    nextYear = str(numNextYear)
    nextYearSplit = nextYear.split()
    nextYearList = []
    for i in nextYearSplit[0]:
        nextYearList.append(i)
    
    uniqueList = []
    for i in nextYearList:
        if i not in uniqueList:
            uniqueList.append(i)
    
    if len(uniqueList) == 4:
        print(numNextYear)
        i = 1
    else:
        i = 0
        numNextYear += 1
        
        

