print "$#lines\n";