#include<iostream> using namespace std; int main() { int m,n,k,i=0; cin>>m>>k; if(m%19==0) { while(m!=0) { n=m%10; m=m/10; if(n==3) { i++; } } } if(i==k) { cout<<"YES"<<endl; } else { cout<<"NO"; } return 0; }