#include <bits/stdc++.h>
using namespace std;
int main()
{
    long long m=0;
    int cnt=0,k;
    cin>>m>>k;
    while(m)
    {
        if(m%10==3)
        {
            cnt++;
        }
        m/=10;
    }
    if(cnt==k)cout<<"YES";
    else cout<<"NO";
    return 0;
}