Parece que el año 2013 llegó ayer. ¿Conoces un dato curioso? El año 2013 es el primer año después del antiguo 1987 con solo dígitos distintos. Ahora se te sugiere resolver el siguiente problema: dado un número de año, encuentre el número de año mínimo que sea estrictamente mayor que el dado y que solo tenga dígitos distintos.

La única línea contiene el número entero A (1000 ≤ A ≤ 9000): que corresponde al número del año.

Imprime un único número entero: el número mínimo de año que es estrictamente mayor que A y todos sus dígitos son distintos. Se garantiza que la respuesta existe.

Evidentemente 1987 fue el último año del siglo pasado con dígitos diferentes, porque 1988 tenía repetido al 8, 1989 tenía repetido al 9, y así sucesivamente hasta 2013, que tiene dígitos diferentes. Por tanto, si la entrada fuera 1987, el número mínimo de año que es estrictamente mayor que 1987 y con todos sus dígitos distintos sería 2013.