#include <stdio.h>

int main(){
	int n;
	int n1, n2, n3;
	scanf("%d", &n);
	
	n1 = n/100;
	n2 = (n%100)/10;
	n3 = n%10;
	
	if (n1 == 7 || n2 == 7 || n3 == 7){
		printf("Yes\n");
	}
	else {
		printf("No\n");
	}
	
	return 0;
}
// God put a smile upon your face <3

#include <bits/stdc++.h>

#define slld(longvalue) scanf("%lld", &longvalue)

#define ll long long
#define ull unsigned long long
#define pll pair < long long, long long >

#define fastio ios_base:: sync_with_stdio(false); cin.tie(0); cout.tie(0)

#define pb push_back

#define bug printf("BUG\n")

#define mxlld LLONG_MAX
#define mnlld -LLONG_MAX

#define mxd 2e8
#define mnd -2e8

#define pi 3.14159265359

using namespace std;

bool check(ll n, ll pos)
{
	return n & (1LL << pos);
}

ll Set(ll n, ll pos)
{
	return n = n | (1LL << pos);
}

bool is(ll x)
{
	while(x)
	{
		if(x % 10 == 7) return 1;

		x /= 10;
	}

	return 0;
}

int main()
{
    ll i, j, k, l, m, n, o, r, q;
    ll testcase;
    ll input, flag, tag, ans;

//    freopen("input.txt", "r", stdin);

//    freopen("output.txt", "w", stdout);

    while(cin >> input)
    {
		if(is(input)) cout << "Yes\n";
		else cout << "No\n";
    }


}



