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 year 
{
	public static void main(String[] args) throws Exception 
	{
		Scanner in = new Scanner(System.in);
		PrintStream out = new PrintStream(new File("year.out"));
		int y = in.nextInt();
		for(int i=y+1;i<9013;i++)
	{
		String temp = Integer.toString(i);
		char[] num = new char[temp.length()];
		boolean res = true;
			for (int j = 0; j < temp.length(); j++)
			{
    		num[j] = temp.charAt(j);
    //System.out.println(num[j]);
			}

			for(int k=0;k<num.length;k++)
			{
				for(int h=0;h<k;h++)
				{
        			if(num[h] == num[k])
        			{
        				res = false;
        			}
				}
			}
		if(res)
		{
		System.out.println(i);
		break;
		}
	}

    }
}