#include <bits/stdc++.h>

using namespace std;

#define endl '\n'
#define ll long long

const ll mod = 1e9 + 7;
const ll maxn = 2e8 + 5;
const double pi = 3.1415926535897932384626433832795028841971693993751058209749445923078;
//iostream::sync_with_stdio(false);

int main()
{
    int n;
    cin >> n;
    int h = 0;
    while(n)
    {
        if(n % 10 == 7)
        {
            h = 1;
            break;
        }
        else
        {
            n /= 10;
        }
    }
    if(h)
    {
        cout << "Yes" << endl;
    }
    else
    {
        cout << "No" << endl;
    }
    return 0;
}

