Số độc lập

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$.

Vào từ tập tin văn bản SODOCLAP.INP, gồm một số nguyên $X$ $(10 < X < 10^9)$.

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$.

• $10 < X < 10^9$;
• 50% test ứng với 50% số điểm của bài có $10 < X < 10^4$.