#include <stdlib.h>
#include <string.h>
#include <stdio.h>
main(){
  int numlines =0;
  char line[10000];      
 
  while(fgets(line, 10000, stdin)){
	 numlines++;
   }
   printf (" count lines %i\n", numlines);
   return 1;
   }