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