#include<bits/stdc++.h>
using namespace std;
typedef long long ll;
const ll INF = 100000000;
const ll half_inf = 0x3f3f3f3f;
const ll inf = 0x7fffffff;
const ll mod = 998244353;
const ll maxn = 2000005;
string s; 
int main(){  
	cin.tie(0);
    ios::sync_with_stdio(false);
	/*int n,k;
	scanf("%d%d",&n,&k);*/
	cin>>s;
	for(int i=0;i<s.size();i++){
		if(s[i]=='7'){
			printf("Yes");
			return 0;
		}
	}
	printf("No");


    return 0;
}


