#include<iostream>
using namespace std;
int main() {
	int m,k,dot=0;
	cin>>m>>k;
	for(; true;) {
		if(m%10==3) {
			dot++;
		}
		m=m/10;
		if(m==0)break;
	}
	if(dot==k) {
		cout<<"YES";
	} else {
		cout<<"NO";
	}
	return 0;
}

70分的蒟蒻