var input = '';
var readable = process.stdin;
readable.resume();
readable.setEncoding( 'utf-8' );
readable.on( 'data', function( chunk ) {
  input += chunk;
});

readable.on( 'end', function() {
  var data = input.toLowerCase().split( "\n" );
  var w = data[0];
  
  var cnt = 0;
  for( var i=1; i<data.length; i++ ) {
    var t = data[i].split( ' ' );
    for( var j=0; j<t.length; j++ ) {
      if( w == t[j] ) {
        cnt++;  
      }
    }
  }
  console.log( cnt );
});