var input = require('fs').readFileSync('/dev/stdin', 'utf8');
input=input.toLowerCase();
var Arr=(input.trim()).split("\n");
var W=Arr[0];
var ctn=0;
for(i=1;i<Arr.length;i++){
   if(Arr[i]==="END_OF_TEXT")break;
   var arr=Arr[i].split(" ");
   arr.forEach(function(v,i){
      if(v==W)ctn++;
   });
}
console.log(ctn);