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