[Brute Force]-Beautiful Year

Năm 2013 là năm đầu tiên kế từ năm 1987 mà trong số chứa các số nguyên khác nhau.

Bạn được yêu cầu giải quyết bài toán sau: cho một số (chỉ một năm) hãy tìm năm bé nhất mà lớn hơn năm được cho mà chỉ chứa các số nguyên khác nhau.

INPUT
Một số nguyên y [1000..9000] chỉ số năm

OUTPUT
In ra một số nguyên duy nhất chỉ năm gần nhất mà lớn hơn năm đã cho mà trong số đó chứa các số nguyên khác nhau đôi một.

Sample test(s)

input

1987

output

2013

input

2013

output

2014