#include<string.h>
#include<stdio.h>
FILE*f,*g;
int n=0,nr=0;
char *s,*p,c,v[10000][21],t[21];
long i;
void main()
{
f=fopen("abc2.in","r");
g=fopen("abc2.out","w");
s=new char;
p=new char;
p=s;
c=fgetc(f);
while(c!='\n')
{
s++;
*s=c;
c=fgetc(f);
}
s++;
*s=0;
s=p;
fscanf(f,"%s",t);
n++;
strcpy(v[n],t);
while(!feof(f))
{
p=strstr(s,t);
while(p)
{
nr++;
p=strstr(p+1,t);
}
fscanf(f,"%s",t);
for(i=1;i<=n;i++)
if(strcmp(v[i],t)==0)
break;
if(i>n)
{
n++;
strcpy(v[n],t);
}
}
fprintf(g,"%ld",nr);
fclose(g);
 }