#P11817. 美丽年份

美丽年份

题目描述

2013 年似乎刚刚过去。你知道一个奇怪的事实吗?2013 年是继 1987 年之后的第一个只有不同数字的年份。

2013 这个年份,每个位置上的数字都不一样,我们称这样的年份是美丽年份。

现在建议解决如下问题:给定一个年号,求出严格大于给定年号的下一个美丽年份。


输入格式

单行包含整数 y (1000 <= y <= 9000),表示年份。


输出格式

打印一个整数 —— 严格大于 y 的最小年份,并且它的所有数字都是不同的。它保证答案存在。


输入样例 #1

1987

输出样例 #1

2013

输入样例 #2

2013

输出样例 #2

2014