let source = readline().toLowerCase();
let target = readline().toLowerCase();
// let arr = source.replace('/[^A-Z]/g','').split('');
let arr = source.split('');
console.info(arr.filter(item => item === target).length);