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