#include <stdio.h>
#define BUF_LEN	200

int main()
{
  char buffer[BUF_LEN];
  int  n=0;
  while (NULL != fgets(buffer, sizeof buffer, stdin)) {
    printf("%4d: %s", ++n, buffer);
  }
}