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