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