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 EshagLovesBigArrays {
     
    	public static void main(String[] args) throws Exception {
    		// TODO Auto-generated method stub
    
    	        BufferedReader br= new BufferedReader(new InputStreamReader(System.in));
    	     
    	        int a= Integer.parseInt(br.readLine())+1;
    	       for(int i=a ;i<10000;i++){
    	           if(fun(a))a++;
    	           else break;
    	       }
    	       System.out.println(a);
    	       
    	        
    	       
    	        
    	        
    	}
    	static boolean fun(int n){
    	    boolean ans=false;
    	    int a[]= new int [4];
    	    a[3]=n%10;
    	    n=n/10;
    	    a[2]=n%10;
    	    n=n/10;
    	    a[1]=n%10;
    	    n=n/10;
    	    a[0]=n%10;
    	    Arrays.sort(a);
    	    for(int i=0 ;i<3 ;i++){
    	        
    	        if(a[i]-a[i+1]==0)ans=true;
    	    }
                return ans;
    	}
    	
     
    }