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