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