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.Scanner;
public class xvc
{
    public static void main(String args[])
    {
        
        Scanner sc=new Scanner(System.in);
       int n=sc.nextInt();
       for(int i=n+1;true;i++){n=i;
       int r1=n%10;
       n=n/10;
       int r2=n%10;
       n=n/10;
       int r3=n%10;
       n=n/10;
       int r4=n%10;
      // if(r4==r3){
       //n=n+100;continue;}
      // else if(r2==r3){
      // n=n+10;continue;}
       
       if(r1!=r2&&r1!=r3&&r1!=r4&&r2!=r3&&r2!=r4&&r3!=r4)
       {System.out.println(i);break;}
       
       }
    }}