#include <stdio.h>

int main() {
    char c[7];
    int i;

    for(i=0; i<3; i++)
    {
        fgets(c, sizeof(c), stdin);
        printf("Read %d: %s\n",i+1, c);
    }
    
    return 0;
}