#include<iostream>
using namespace std;
int main(){
    string a;
    cin>>a;
    long long s,k;
    cin>>s;
    for(int i=0;i<=a.size();i++){
        if(a[i]==3){
            k++;
        }
    }
    if(s==k){
        cout<<"YES";
    }
    else{
        cout<<"NO";
    }
    
}