#include<bits/stdc++.h> using namespace std; int main(){ long long n; int c=0; cin>>n; while(n){ if(n%10==7) c++; n/=10; } cout<<c<<endl; if(c==0)cout<<"yes"; else cout<<"no"; return 0; }