#include <stdio.h>

int main(int argc, char * argv[]) {

  // scanf until EOF
  char s[100];
  while (scanf("%99s", s) == 1) {
    printf("Read: %s\n", s);
  }
  
  return 0;
}