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