2013년은 1987년 이후, 각 자리의 숫자가 모두 다른 가장 빠른 연도이다.

2014, 2015, 2016, 2017, 2018, 2019 년 등은 각 4개의 자리 숫자가 모두 다르지만,

2012년은 2가 2번 사용된다.

어떤 연도가 주어졌을 때, 그 연도 이후 각 자리의 숫자가 모두 다른 가장 빠른 연도는 언제일까?

연도(Y)가 입력된다.

(0 <= Y <= 10000)

Y 연도 다음해부터 시작해, 각 자리의 숫자가 모두 다른 가장 빠른 연도(D)를 출력한다.