#include<iostream> using namespace std; int main(){ long long n,w; cin>>n; int cnt=0; while(n>0){ w=n%10; n=n/10; if(w%7==0){ cnt++; } } cout<<cnt<<endl; if(cnt==0){ cout<<"yes"; }else{ cout<<"no"; } return 0; }