#include<bits/stdc++.h>
using namespace std;

typedef long long int ll;
#define f(a, b) for(auto i = a;i < b;i++)
#define ent cout << "\n"

bool sortbysec(const pair<ll, ll> &a, const pair<ll,ll> &b) 
{ 
    return (a.second < b.second); 
} 

void solve()
{
	ll flag = 0, i = 0;
	string str;
	cin >> str;

	while(str[i] != '\0'){
		if(str[i] == '7'){
			flag = 1;
			break;
		}
		i++;
	}
	if(flag)
		cout << "Yes\n";
	else
		cout << "No\n";

	return;
}
int main()
{
	ios_base::sync_with_stdio(0);
	cin.tie(0);	
	
	solve();

}