#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"; } }