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.
The single line contains integer *y* (1000 ≤ *y* ≤ 9000) — the year number.
#include <stdio.h>
#include <stdbool.h>

bool isDistinct(int year) {
    int digits[10] = {0};  // Array to count the occurrence of each digit
    while (year > 0) {
        int digit = year % 10;
        if (digits[digit] > 0) {
            return false;  // If the digit is repeated, it's not distinct
        }
        digits[digit]++;
        year /= 10;
    }
    return true;  // All digits are distinct
}

int main() {
    int year;
    scanf("%d", &year);

    year++;  // Increment the year to find the next one

    while (!isDistinct(year)) {
        year++;
    }

    printf("%d\n", year);

    return 0;
}
