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