#include <stdio.h>
#include <time.h>

int main() {
    int i,cont=0;
    clock_t start, end;
    start = clock();

    do {
        scanf("%i", &i);
        printf("%i\n", i);
        if (i % 1237 == 0) {
            cont++;
        }
    } while (cont != 5);
    
    end = clock();
  
    //calcula o tempo de execucao
    double time_taken = (end - start) / (double)CLOCKS_PER_SEC;
    
    printf("Tempo: %f sec\n", time_taken);

    return 0;
}