#include<bits/stdc++.h>
#include<sstream>
using namespace std;
int main()
{
    stringstream d;
    string a;
    cin>>a;
    int b,s=0;
    cin>>b;
    for(int i=0;i<a.length();i++)if(a[i]=='3')s++;
    d<<a;
    int e;
    d>>e;
    if(s==b&&e%19==0)cout<<"YES";
    else cout<<"NO";
}