Problem E: CCC '13 J3 - From 1987 to 2013

Problem E: CCC '13 J3 - From 1987 to 2013

Time Limit: 1 Sec  Memory Limit: 128 MB
Submit: 21  Solved: 11
[Submit] [Status] [Web Board] [Creator:]

Description

Canadian Computing Competition: 2013 Stage 1, Junior #3, Senior #1
You might be surprised to know that 2013 is the first year since 1987 with distinct digits. 
The years 2013, 2015, 2016, 2017, 2018, 2019 each have distinct digits. 2012 does not have distinct digits, since the digit 2 is repeated.


Given a year, what is the next year with distinct digits?

Input

The input consists of one integer Y (0≤Y≤10000), representing the starting year.

Output

The output will be the single integer D, which is the next year after Y with distinct digits.

Sample Input Copy

1987

Sample Output Copy

2013