#include <stdio.h>
#include <math.h>
int main()
{
	long long m;
	int k,count,t=0;
	scanf("%lld %d", &m, &k);
	while(m>0){
		t=m%10;
		if(t==3){
			count++;
		}
		m=m/10;
	}
	if(count==k){
		printf("YES");
	}
	else{
		printf("NO");
	}
	return 0;
}