#include <stdio.h>

/* conta le linee dell'input */
   
int main(void)
{
   int      c, nl = 0;
   
   while (( c = getchar ()) != EOF) 
        if ( c == '\n' )
                ++nl;
   printf ("numero righe: %d\n", nl);
   return 0;
}