#include<bits/stdc++.h> using namespace std; int main(){ int m,k,sum,sum1=0; cin>>m>>k; while(m!=0){ sum=m%10; if(sum==3){ sum1++; } m/=10; } if(m%19==0&&k==sum1){ cout<<"Yes"; }else{ cout<<"No"; } return 0; }