const str = readline();
const key = readline();

const strN = str.toLocaleUpperCase();
const keyN = key.toLocaleUpperCase();

const len = strN.split('').filter(item=>item === keyN).length;

console.log(len)