#include <bits/stdc++.h>
using namespace std;
int main() {
    int m,k;
	int i;
	cin>>m>>k;
	while(m>0){
	if(m%10==3){
	i++;
	}
	m=m/10;
	}
	if((m%19==0) && (i==k) ){
	cout<<"YES";
	}
	else{cout<<"NO";
	}
	return 0;
}