/*
* Student: Tjeerd Bakker
* Number: S2097966
* Assignment: 4.8
*/

#include <stdio.h>
#include <stdlib.h>
#include <string.h>

int main(int argc, char *argv[])
{
    char a[1024];
    int i;
    int total = 0;
    if(argc == 1) /*argc = 1 (filename) + number of arguments. If argc==1, then only the filename has been passed, no extra arguments*/
    {
        printf("No argument given\n");
        return 0;
    }

    while(1){
        memset(a, 0, sizeof(a)*sizeof(char));
        fgets(a, 1024 , stdin);
        if(strncmp(a,"#EOF",4) == 0)
        {
            break;
        }
        for(i = 0; i < (1023 - strlen(argv[1])); i++)
        {
            if(strncmp(argv[1], a + i, strlen(argv[1])) == 0)
            {
                total++;
            }
        }
    }
    printf("%d\n",total);

    return 0;
}