#include<iostream>
#include<iomanip>
#include<limits>
#include<string>
#include<vector>
#include<algorithm>
#include<stdio.h>
#include<cmath>
#include <functional>

#define big ((long long)(1e9)+7)

using namespace std;

typedef unsigned long long ull;
typedef long long ll;

int num(int n)
{
	int ans = 1;
	int N = n;
	for(int i=1;i <= 2;i++)
	{
		ans *= N;
		ans /= i;
		N--;
	}
	return ans;
}


int main()
{
	string s;
	cin >> s;
	for(int i = 0;i < s.size();i++)
	{
		if(s.at(i) == '7')
		{
			cout << "Yes" << endl;
			return 0;
		}
	}
	cout << "No" << endl;
}
