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$