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
	{
	     Scanner SC=new Scanner(System.in);
	     BufferedReader br=new BufferedReader(new InputStreamReader(System.in));
	     int n=0;
	     /*int bef=0;
	     int after=0;
	     //if(SC.hasNext())
	     //n=SC.nextInt();
	     
	     String s="";*/
	     
	     if(SC.hasNext())
	     n=SC.nextInt();
	     
	     //String out="NO";
	     Codechef ob=new Codechef();
	     int i=n+1;
	     while(true)
	     {
	        
	         if(ob.checkdistinct(i))
	         {
	              System.out.println(i);
	              break;
	         }
	         
	         i++;
	     }
	     
	    
	     //System.out.println(out);
	     
	     
	     
	     
	     
	   
	    
		
     }
     
     boolean checkdistinct(int a)
     {
          String s=Integer.toString(a);
          HashSet<Character> hs=new HashSet<Character>();
          for(int i=0;i<s.length();i++)
          {
               hs.add(s.charAt(i));
          }
          
          if(hs.size()==s.length())
          return true;
          else
          return false;
          
     }
}
