It seems like the year of 2013 came

It seems like the year of 2013 came only yesterday. Do you know a curious fact? The year of 2013 is the first year after the old 1987 with only distinct digits.

Now you are suggested to solve the following problem: given a year number, find the minimum year number which is strictly larger than the given one and has only distinct digits.

Input
The single line contains integer y (1000 ≤ y ≤ 9000) — the year number.

Output
Print a single integer — the minimum year number that is strictly larger than y and all it's digits are distinct. It is guaranteed that the answer exists.

Kết quả (Việt) 1:

Nó có vẻ như năm 2013 đến ngày hôm qua chỉ. Bạn có biết một thực tế tò mò? Năm 2013 là năm đầu tiên sau năm 1987 cũ với chữ số chỉ riêng biệt.Bây giờ bạn đang đề xuất để giải quyết các vấn đề sau: cho một năm số, tìm số năm tối thiểu là nghiêm ngặt hơn một nhất định và có chữ số chỉ khác biệt.Đầu vàoDòng có chứa số nguyên y (1000 ≤ y ≤ 9000) — một số năm.Sản lượngIn một số nguyên đơn — năm tối thiểu số đó là nghiêm ngặt hơn y và tất cả các chữ số của nó là khác biệt. Chúng tôi đảm bảo rằng câu trả lời này tồn tại.

Kết quả (Việt) 2:

Nó có vẻ như năm 2013 chỉ đến ngày hôm qua. Bạn có biết một thực tế tò mò? . Năm 2013 là năm đầu tiên sau khi cũ 1987 với chữ số chỉ khác biệt

Bây giờ bạn đang đề xuất để giải quyết các vấn đề sau: cho một số năm, tìm số năm tối thiểu là nghiêm lớn hơn so với cái được và chỉ có chữ số riêng biệt .

Input
dòng duy nhất chứa số nguyên y (1000 ≤ y ≤ 9000) -. năm số

Output
In một số nguyên duy nhất - số năm tối thiểu là nghiêm lớn hơn y và tất cả các chữ số của nó là khác biệt. Nó được đảm bảo rằng câu trả lời tồn tại.