#include<iostream> using namespace std; int main() { int m,k,x,y,cnt=0; cin>>m>>k; y=m%19; for(int i=0;i<5;i++) { x=m%10; m=m/10; if(x==3) { cnt++; } } if(k==cnt&&y==0) { cout<<"YES"; } else { cout<<"NO"; } return 0; }