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.util.*;
import java.io.*;
public class Main {
    public static void main(String[] args) {
        FastScanner input = new FastScanner();
        PrintWriter pw = new PrintWriter(System.out);
        String s = input.next();
        for (int i = 1000; i <= 9000; i++)
        {
            s = String.valueOf(Integer.parseInt(s) + 1);
            /*if (s.charAt(0) != s.charAt(1) &&
                    s.charAt(0) != s.charAt(2) &&
                    s.charAt(1) != s.charAt(3) &&
                    s.charAt(2) != s.charAt(3) &&
                    s.charAt(0) != s.charAt(3) &&
                    s.charAt(1) != s.charAt(2))break;
        }
        System.out.println(s);
        */
            if(s.chars().distinct().count()==4){
                System.out.println(s);   
                break;
            }
        }
     

    }
}

class FastScanner {
    BufferedReader Br = new BufferedReader(new InputStreamReader(System.in));
    StringTokenizer st = new StringTokenizer("");

    public String next() {
        while (!st.hasMoreTokens()) {
            try {
                st = new StringTokenizer(Br.readLine());
            } catch (IOException ex) {
                ex.printStackTrace();
            }
        }
        return st.nextToken();
    }

    public int nextInt() { return Integer.parseInt(next());}
    //public long nextLong(){return Long.parseLong(next());}
}

  	    			  		   		  	 	 		 	 	