#include<bits/stdc++.h> using namespace std; int main(){ int m,k,i,a=0; cin>>m>>k; if(m/100000==3){ a++; } if(m%10==3){ a++; } for(i=10;i<=10000;i*=10){ if(m/i%10==3){ a++; } } if(a==k&&m%19==0){ cout<<"YES"; }else{ cout<<"NO"; } }