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