const str = readline();
const char = readline();

function countChar(str, char) {
    const strWithLowerCase = str.toLowerCase();
    const charWithLowerCase = char.toLowerCase();
    let result = 0;

    for (let i = 0, l = str.length; i < l; i += 1) {
        if (charWithLowerCase === strWithLowerCase[i]) {
            result += 1;
        }
    }

    return result;
}

console.log(countChar(str, char));