#include <stdio.h>

int main()
{
    int c, nl = 0;
    while((c = getchar()) != EOF){
    if(c == '\n') ++nl;
    }
    printf ("[%d]行の読込み\n", nl);

    return 0;
}