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ố 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 nhé.

Yêu cầu:

Cho một số nguyên $X$, hãy tìm số độc lập nhỏ nhất mà lớn hơn $X$.

Input:

Vào từ file SDL.INP ghi một số nguyên $X$ $(10<X<{10}^9)$

Output:

Ghi ra file SDL.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 có $10<X<{10}^4$.

VÍ DỤ:

Input

2022

Output

2031