#include <bits/stdc++.h>
using namespace std;
int main(){
	int a,b,c = 0;
	scanf("%d%d",&a,&b);
	if(a%19)cout<<"NO"<<endl;
	else{
		while(a>0){
			if(a%10 == 3)c++;
			a = a/10;
		}
		if(c == b)printf("YES");
		else printf("NO");
	}
    return 0;
}