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