#include<bits/stdc++.h>
using namespace std;
int main(){
	int i;
	string w;
	cin>>w;
	for(i=0;i<w.size();i++){
		int k=w.size()-1;
	    if(w[i]==7) cout<<"Yes";
		else if(i==k&&w[i]!=7){
			 cout<<"No";
			 return 0;
		}
		else continue;
	}
	return 0;
}