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