/*>>724*/
#include <stdio.h>

int main(void)
{
  int lines = 0, letters = 0;
  char c;
  
  while ((c = fgetc(stdin)) != EOF)
  {
    if (c == '\n')
      lines++;

    letters++;
    putchar(c);
  }
  
  printf("\n");
  printf("lines: %d letters: %d\n", lines, letters);
  
  return 0;
}