code

#include <stdio.h>

int main()
{
    long long m;
    int k;
    scanf("%lld %d", &m, &k);
    int cnt = 1, cnt1 = 0, cnt2 = 0;
    // cnt1为m的位数
    for (int i = 1; i < m; i *= 10)
    {
        cnt *= 10;
        cnt1++;
    }
    cnt /= 10;
    for (int i = 0; i < cnt1; i++)
    {
        int x = m / cnt;
        m = m % cnt;
        cnt /= 10;
        if (x == 3)
        {
            cnt2++;
        }
    }
    if (cnt2 == k)
    {
        printf("YES");
    }else{
        printf("NO");
    }

    return 0;
}