美丽的年份

似乎2013年仿佛就在昨天。你知道一个有趣的事实吗？2013年是继1987年之后，第一个只有不同数字的年份。
现在，给你一个年份，要求你找到一个比该年份大的、且其所有数字都不同的最小年份。

输入

输入的单行包含一个整数 y （\(1000 \le y \le 9000\)） 年份数字。

输出

输出一个整数 严格大于 y 且所有数字都不同的最小年份。保证答案一定存在。

输入 1

1987

输出 1

2013

输入 2

2013

输出 2

2014

解析：

对于给定的年份，寻找一个比它大的年份，且该年份的所有数字都是不同的。
例如，1987年之后的第一个符合条件的年份是2013年，2013年所有的数字都不同。
对于2013年，符合条件的下一个年份是2014年，因为2014年的数字也是唯一的。