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