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.lang.*;
import java.io.*;

/* Name of the class has to be "Main" only if the class is public. */
public class Codechef
{
	public static void main (String[] args) throws java.lang.Exception
	{
		// your code goes here
		Scanner sc=new Scanner(System.in);
		String s=sc.next();
		int p=Integer.parseInt(s);
		int flag=0;
		int i=0;
		int l=p+1;
		while(l<=9012)
		{
		    String q=String.valueOf(l);
		    int q1=check(q);
		    if(q1==1)
		    {
		        System.out.println(q);
		        break;
		    }
		    
		    l++;
		}
	}
	public static int check(String s)
	{
	    char[] c=s.toCharArray();
	    Arrays.sort(c);
	    for(int i=0;i<c.length-1;i++)
	    {
	        if(c[i]==c[i+1])
	        {
	            return 0;
	        }
	    }
	    return 1;
	}
	
}
