#include <iostream> using namespace std; int main() { int m,k,t,c=0; cin>>m>>k; t=m; while(t){ if(t%10==3)c++; t/=10; } cout<<(m%19==0&&c==k?"YES":"NO"); }