下一特别年份

题目描述

称一个四位年份为特别年份，当它的四个十进制数字两两不同。给定一个四位年份 y，求严格大于 y 的最小特别年份。

输入格式

一个四位整数 y。

输出格式

输出下一个特别年份。

数据范围

1000≤y≤8999。

样例

8999

9012

2500

2501

说明

所有题目均为标准输入、标准输出；不需要文件读写。函数专题的函数签名是教学要求，普通 OJ 仅能依据程序输出来评测。