#include<bits/stdc++.h>
using namespace std;
long long n,m;
string s;
int main(){
	cin>>s;
	cin>>n;
	for(long long i=1;i<=s.length();i++){
		if(s[i]=='3'){
			m++;
		}
	}
	if(m==n){
		cout<<"YES";
	}
	else{
		cout<<"NO";
	}
	return 0;
}