#include<iostream> using namespace std; int n,k,cnt; int main() { cin>>n>>k; int m=n; while(m){ if(m%10==3){ cnt++; } m=m/10; } if(cnt==k&&n%19==0) cout<<"YES"; else cout<<"NO"; return 0; }