
#include<bits/stdc++.h>
using namespace std;
#define ll long long
#define io ios_base::sync_with_stdio(false); cin.tie(NULL);
#define pb push_back
#define endl '\n'
//int ar[100001];

int main() {
	io;
	int n;
	cin>>n;
	int a;
	bool flag = false;
	while(n) {
		a = n%10;
		if(a == 7)
			{
				flag = 1;
				break;
			}
		n /= 10;
	}
	if(flag)
		cout<<"Yes"<<endl;
	else cout<<"No"<<endl;
}
