#include <bits/stdc++.h>
using namespace std;
string a;
int k, s;

int main() {
	cin >> a >> k;
	for (int i = 1; i <= a.size(); i++) {
		if (a[i] == '3') {
			s++;
		}
	}
	if (s == k) {
		cout << "YES";
	} else {
		cout << "NO";
	}
	return 0;
}