70分求助！！！！！

#include<bits/stdc++.h>
using namespace std;
int main(){
	int m,k,s=0;
	cin>>m>>k;
	int j=m;
	while(j){
		if(j%10==3){
			s++;
		}
		j=j/10;
	}
	if(s==k){
		cout<<"YES";
	}
	else{
		cout<<"NO";
	}
	return 0;
}