[271A] Un año magnífico

Enlace a Codeforces

Parece como si el 2013 hubiera sido ayer. ¿Sabes un hecho curioso? El año 2013 es el primer año después del año 1987 en tener todos sus dígitos distintos.

Ahora te sugiero resolver el siguiente problema: dado un año, encuentra el siguiente año que tenga todos los dígitos distintos.

Entrada

Una entero $y$($1000 \leq y \leq 9000$) - el año

Salida

Imprime un entero - el primer año después de $y$ en tener todos sus dígitos diferentes. Se da por hecho que la respuesta existe.

Ejemplos

input:
1987

output:
2013

input:
2013

output:
2014