#include<bits/stdc++.h>
using namespace std;
int main() {
	char n[20];
	int k;
	scanf("%s %d",&n,&k);
	int num = 0;
	for(int i = 1;i <= strlen(n);i++){
		if(n[i] == 3){
			num++;
		} 
	}
	if(num == k){
		cout<<"YES";
	}
	else{
		cout<<"NO";
	}
	return 0;
}

大家看看 我不回了。