仿佛2013年就在昨天。有一个有趣的事实：2013 是继 1987 之后，第一个所有数字互不相同的年份。

现在给你一个年份，请找出严格大于该年份、且每一位数字都互不重复的最小年份。

仅一行，整数 $y\ (1000 \le y \le 9000)$，代表给定的年份。

输出一个整数：严格大于 $y$，并且四位数字全部互不相同的最小年份。题目保证答案一定存在。