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

import java.io.*;
import java.math.BigInteger;
import java.util.*;
/*
*@RnPW
*/
public class Level1 {
  
    public static void main(String[] args) throws IOException {
        Scanner in =new Scanner();
        int n=in.nextInt();
        for(int i=n+1;i<=9012;i++){
            if(isBeatiful(i)){
                System.out.println(i);
                break;
            }
        }
    }

    private static boolean isBeatiful(int i) {
        String txt=String.valueOf(i);
        char o=txt.charAt(0);
        char t=txt.charAt(1);
        char th=txt.charAt(2);
        char f=txt.charAt(3);
        if(o!=t&&o!=th&&o!=f&&t!=th&&t!=f&&th!=f)
            return true;
        else
            return false;
    }
    private static class Scanner
    { 
        BufferedReader br; 
        StringTokenizer st; 
  
        public Scanner()
        { 
            br = new BufferedReader(new
                     InputStreamReader(System.in)); 
        } 
  
        String next() 
        { 
            while (st == null || !st.hasMoreElements()) 
            { 
                try
                { 
                    st = new StringTokenizer(br.readLine()); 
                } 
                catch (IOException  e) 
                { 
                    e.printStackTrace(); 
                } 
            } 
            return st.nextToken(); 
        } 
  
        int nextInt() 
        { 
            return Integer.parseInt(next()); 
        } 
  
        long nextLong() 
        { 
            return Long.parseLong(next()); 
        } 
  
        double nextDouble() 
        { 
            return Double.parseDouble(next()); 
        } 
  
        String nextLine() 
        { 
            String str = ""; 
            try
            { 
                str = br.readLine(); 
            } 
            catch (IOException e) 
            { 
                e.printStackTrace(); 
            } 
            return str; 
        }
        BigInteger nextBig() throws IOException{
            BigInteger big=new BigInteger(br.readLine());
            return big;
        }
    } 
}
