70pst

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