Năm có bốn chữ số phân biệt (Beautiful Year)

Nguồn: Codeforces

Phiên bản: Phước Hưng OJ Extended

Đề bài

Cho năm nguyên $y$ có bốn chữ số. Hãy tìm năm nhỏ nhất lớn hơn hẳn $y$ mà bốn chữ số hàng nghìn, trăm, chục, đơn vị đôi một khác nhau. Năm y ban đầu không được chọn dù các chữ số đã khác nhau.

Input

Một số nguyên $y$.

Output

In năm nhỏ nhất thỏa yêu cầu.

Subtask

• Subtask 1 (20%): $1000\le y\le1099$.
• Subtask 2 (30%): $1000\le y\le4999$.
• Subtask 3 (50%): $1000\le y\le9000$.

Ví dụ

Ví dụ 1

Input

1987

Output

2013

Giải thích

Tăng năm từ 1988. Các năm 1988–2012 đều có ít nhất một chữ số lặp, còn 2013 có bốn chữ số 2,0,1,3 khác nhau nên là đáp án đầu tiên.

Ví dụ 2

Input

2013

Output

2014

Giải thích

Dù năm 2013 đã có bốn chữ số khác nhau, điều kiện là phải lớn hơn nên thử 2014 và nhận ngay.