#include <stdio.h>

int main() {
    int number = 0, logo = 0;
    scanf("%d", &number);
    for (int wait_test = 1; wait_test <= number; wait_test++) {
        while (logo == 0) {
            int same = wait_test;
            while (same >= 67) {
                int a = same % 100;
                if (a == 67) {
                    printf("%d\n", wait_test);
                    logo++;
                    break;
                }
                same /= 10;
            }
        }
        logo--;
    }
    return 0;
}