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