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