#include <iostream>
#include <string>

int main() {
    int m, k;
    std::string m_str; // 用于存储m的字符串形式

    // 读取输入
    std::cin >> m >> k;

    // 将整数m转换为字符串形式，方便后续统计3的个数
    m_str = std::to_string(m);

    // 统计字符串中3的个数
    int count_3 = 0;
    for (char digit : m_str) {
        if (digit == '3') {
            ++count_3;
        }
    }

    // 判断3的个数是否等于k，并输出结果
    if (count_3 == k) {
        std::cout << "YES" << std::endl;
    } else {
        std::cout << "NO" << std::endl;
    }

    return 0;
}

70分，原题链接：https://www.luogu.com.cn/problem/T259118