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