#include <stdio.h>

int main() {                       /* Fuegt Zeilennummern ein */
  int c, d, nl;
  nl = 1;
  printf("%4d %4c", nl, ' ');
  while ((c = getchar()) != EOF) {
    if (c == '\n') {
      ++nl; putchar(c);
      printf("%4d %4c", nl, ' ');
    }
    else putchar(c);
  }
}