var str = readline().toLowerCase()
var key = readline().toLowerCase()
var count = 0;
console.log(str.split(key).length -1)
var str = readline().toLowerCase()
var key = readline().toLowerCase()
var count = 0;
console.log(str.split(key).length -1)
牛客博客，记录你的成长
京公网安备 11010502036488号