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