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

？？？？？