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