use file_read;
my $a=0;
while(<STDIN>){
$a+=1;
}
print "$a";