#include<iostream>
#include<algorithm>
#include<vector>
#include<set>
#include<map>
 using namespace std;
 typedef long long ll;
 const int maxn=1e5+10;
 int main()
 {
 	int n;
 	cin>>n;
 	while(n){
 		if(n%10==7){
 			cout<<"Yes";
 			return 0;
		 }
		n/=10;
	 }
	 cout<<"No";
 	return 0;
 }