Số nguyên dương $N(1\le N\le {10}^{10})$ được gọi là số đẹp nếu với mỗi chữ số $x$ của $N$, $x$ xuất hiện đúng $x$ lần trong $N$.

Ví dụ:

$3133$ là số đẹp vì chữ số $1$ xuất hiện $1$ lần, chữ số $3$ xuất hiện $3$ lần. $224$ không phải số đẹp vì chữ số $4$ xuất hiện $1$ lần, không thỏa mãn điều kiện. Yêu cầu: Tìm số đẹp nhỏ nhất lớn hơn $N$. ## Dữ liệu Một số nguyên dương $N$

nhập từ bàn phím.

Kết quả

Xuất ra màn hình số nguyên dương nhỏ nhất thỏa mãn yêu cầu đề bài.

Ràng buộc

• Subtask $1$ ($25\%$): $1<N<{10}^3$
• Subtask $2$ ($25\%$): $1000<N<{10}^6$
• Subtask $3$ ($25\%$): ${10}^6<N<{10}^8$
• Subtask $4$ ($25\%$): ${10}^8<N<{10}^{10}$

Ví dụ

Dữ liệu

100

Kết quả

122

Giải thích

$1$ xuất hiện $1$ lần $2$ xuất hiện $2$ lần trong $122$