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.Character;

public class Sample
{
   public static boolean is_distinct(int i)
   {
	   int[] a=new int[10];
	   Arrays.fill(a, 0);
	   boolean flag=true;
	   while(i>0)
	   {
		   if(a[i%10]!=0)
			  {
			   flag=false;
		       break;
	          }
			 a[i%10]=1;
		     i=i/10;
      }
	  return flag;
   }
	
   public static void main(String[] args)
   {
	  Scanner o=new Scanner(System.in);
	  int i=o.nextInt();
	  
	  i++;
	  while(true)
	  {
		 if(is_distinct(i))
			break;
		 i++;
	  }
   
	  System.out.println(i); 
   }
}