Tí gọi số độc lập là những số nguyên dương có các chữ số đôi một khác nhau (hay nói cách khác là số nguyên dương có các chữ số không xuất hiện hơn một lần). Ví dụ 2019 là một số độc lập.

Em của Tí rất thích các trò chơi toán học. Thế là, Tí đưa ra một số nguyên dương X, em sẽ tìm số độc lập nhỏ nhất mà lớn hơn X. Bạn hãy giúp tí kiểm tra kết quả nhé.

Yêu cầu: Cho một số nguyên X, viết chương trình tìm số độc lập nhỏ nhất mà lớn hơn X.

Dữ liệu vào: vào từ tệp tin văn bản SODOCLAP.INP, gồm một số nguyên X (10 < X < 10^9).

Kết quả: Ghi ra tệp tin văn bản SODOCLAP.OUT một số nguyên dương là số độc lập nhỏ nhất mà lớn hơn X.

Ràng buộc: 50% test ứng với 50% số điểm của bài có 10 < X < 10^4.

Ví dụ:

SODOCLAP.INP
2022

SODOCLAP.OUT
2031