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
def read():

    """
     Read an integer n.
     @restrictions: 1000<=n<=9000
     @output: n - the year number
    """

    return(int(input()))
def distinct_digits(n):

    """
     Check if a number (n) has only distincts digits.
     @input: n - an integer
     @output: True - if n has only distincts digits
              False - otherwise
    """

    v=[] # A list of digits frequency

    #initialize list with 0
    for i in range(10):
        v.append(0)

    ok=True # we assume that n has only distincts digits

    while (n>0 and ok==True):
        v[n%10]+=1
        if v[n%10]>1:
            ok=False
        else:
            n=n//10
    return ok

def find(n):

    """
     Find the smallest value that is strictly larger than n and all it's digits are distincts
     @input: n - a given integer
     @output: the value that we search for
     @restrictions: it is guaranteed that the answer exists
    """

    n+=1
    while distinct_digits(n)!=True:
        n+=1
    return n
    
    
n=read()
print(find(n))
