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