#include<iostream> using namespace std; int main() { int m,k; cin>>m>>k; int s=0; int a=m; while(m!=0) { if(m%10==3) { s+=1; } m/=10; } if(a%19!=0||k!=s) { printf("NO"); } else { printf("YES"); } }