#include <iostream>
using namespace std;
typedef long long ll;

ll m, k;

int main()
{
	cin >> m >> k;
	ll cnt = 0;
	while(m != 0){
		if(m % 10 == 3) cnt ++;
		m /= 10;
	}
	if(cnt == k) cout << "YES";
	return 0;	
}