#include <stdio.h>

int main(void) {
  int nip[10];

  for(int i=0; i< 10;) {
    int c = getchar() - 48;
    if(c >= 0 && c <= 9) {
      nip[i] = c;
      i++;
    }
  }

  printf("Nip to %d%d%d %d%d%d %d%d %d%d ", nip[0], nip[1], nip[2], nip[3], nip[4], nip[5], nip[6], nip[7], nip[8], nip[9]);
  return 0;
}