#include<bits/stdc++.h>
using namespace std;
int main(){
	long long m;
	int k,cnt=0;
	cin>>m>>k;
	for(int i=m;i>0;i/=10)
		if(i%10==3)
			cnt++;
	if(cnt==k)
		puts("YES");
	else
		puts("NO");	
    return 0;
}