#include <bits/stdc++.h>
#define F first
#define S second
#define PB push_back
#define MP make_pair

using namespace std;

typedef long long ll;
typedef vector<int> vi;
typedef pair<int , int> pi;

int main()
{
	ios::sync_with_stdio(0);
	cin.tie(0);
	string s; 
	bool a = false;
	cin>>s;
	for(int i=0; i<3; i++)
	{
		if(s[i] == '7')
		{
			a = true;
		}
	}
	if(a)
		cout<<"Yes\n";
	else
		cout<<"No\n";
	return 0;
}
