#include <stdio.h>
#include <stdlib.h>
#define BUFSIZE 30
 
int main(void)
{
  char s[BUFSIZE];
  int t;
  scanf("%d",&t);
  printf("%d",t);
 int num;
  while (fgets(s, BUFSIZE, stdin)) {
    sscanf(s,"Hitsuji ga %d hiki\n",num);
    printf("Hitsuji ga %d hiki\n",num+1);
  }
  return 0;
}