题目描述

小婷正在为珅泽教育的编程训练整理“【GESP强化 二级】美丽年份”任务，小泽负责把实际要求准确转换成程序。每一组输入都代表一次独立任务，程序必须严格遵守下面给出的规则，并按指定格式给出结果。

在核对方案时，他们发现即使任务看起来不长，边界情况、处理顺序和输出格式也同样重要。请认真阅读完整条件，帮助小泽完成这次训练。

给定年份 $y$，找出严格大于 $y$ 的最小年份，使它的四个十进制数字互不相同。题目保证答案存在。

输入格式

一行包含整数 $y$。

输出格式

输出符合条件的最小年份。

1000

1023

1389

1390

1778

1780

数据范围与约定

• $1000\le y\le9000$