#include <bits/stdc++.h>
using namespace std;
char n[100];
long long k,cnt;
int main(){
	cin>>n>>k;
	for(int i=0;i<strlen(n);i++){
		if(n[i]=='3') cnt++;
	}
	if(cnt>=k){
		cout<<"YES";
	}else{
		cout<<"NO";
	}
	return 0;
}