#include<bits/stdc++.h>
using namespace std;
string a;
long long b;
int main(){
	cin>>a>>b;
	for(long long i=0;i<a.size();i++)if(a[i]==3)b--;
	if(b==0)cout<<"YES";
	else cout<<"NO";
	return 0;	
}