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