Beautiful Year

A. Beautiful Year

time limit per test

2 seconds

memory limit per test

256 megabytes

input

standard input

output

standard output

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

这题就是判断大于输入数据且每位数字皆不相同

#include <stdio.h>

int main()
{
	int a,i;
	int m,n,k,l;
    scanf ("%d",&a); 
	for (i=a+1;;i++)
		{
			m=i%10;
			n=(i/10)%10;
			k=(i/100)%10;
			l=i/1000;
			if (!(m==n||m==k||m==l||n==k||n==l||k==l))//判断是否有相同的数字 
			{
				printf ("%d\n",i);
				break;
			}
		}
}