#include<iostream> using namespace std; int a[5]; int main(){ int n,k,cnt=0; cin>>n; a[0]=n/10000; a[1]=n%10000/1000; a[2]=n%1000/100; a[3]=n%100/10; a[4]=n%10; for(int i=0;i<5;i++){ if(a[i]==3){ cnt++; } } if(n%19==0&&cnt==k){ cout<<"YES"; }else cout<<"NO"; return 0; }