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

ll m, k;

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