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