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