题目描述

看起来 2013 年仿佛就在昨天。你知道一个有趣的事实吗？2013 是继 1987 之后，第一个 四位数字互不相同 的年份。

现在给定一个年份 $y$，请你找到一个最小的年份 $x$，满足：

• $x > y$
• $x$ 的四个数字两两不同（互不重复）

题目保证答案一定存在。

输入格式

输入一行一个整数 $y$（$1000 \le y \le 9000$），表示给定的年份。

输出格式

输出一行一个整数，表示严格大于 $y$ 且四位数字互不相同的最小年份。

数据范围

• $1000 \le y \le 9000$
• 答案一定存在

样例

样例 1

输入：
1987
输出：
2013

样例 2

输入：
2013
输出：
2014