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