include <bits/stdc++.h>

using namespace std;

int main() {

int m, k, sum = 0;
cin >> m >> k;
if (m % 19 == 0) {
	while (m) {
		if (m % 10 == 3) {
			sum++;
		}
		m = m / 10;
	}
	if (sum == k) {
		cout << "YES";
	} else {
		cout << "NO";
	}
}
return 0;

}