각 자리가 모두 다른 다음 연도

2013년은 1987년 이후 처음으로 각 자리의 숫자가 모두 서로 다른 연도입니다. 2014, 2015, 2016, 2017, 2018, 2019년도 각 자리의 숫자가 모두 다릅니다. 반면 2012년은 숫자 2가 두 번 나오므로 각 자리가 모두 다르지는 않습니다.

연도 $Y$가 주어질 때, $Y$보다 큰 연도 중에서 각 자리의 숫자가 모두 서로 다른 가장 이른 연도를 구하세요.

첫째 줄에 시작 연도를 나타내는 정수 $Y$가 주어진다. ($0 \le Y \le 10000$)

$Y$보다 큰 연도 중에서 각 자리의 숫자가 모두 서로 다른 가장 이른 연도 $D$를 한 줄에 출력한다.