#include<bits/stdc++.h>

using namespace std;

int main() {
	long long k;
	int sum = 0;
	string a;
	cin >> a >> k;
	for (int i = 0; i < a.size(); i++) {
		if (a[i] - '0' == 3) {
			sum++;
		}
	}
	if (sum == k) {
		cout << "yes";
	} else {
		cout << "no";
	}
	return 0;
}