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