#include <bits/stdc++.h>
int main()
{
    using namespace std;
    int N, bits(0);
    cin >> N;
    while (N >= 10)
    {
        if (N % 10 == 7)
        {
            bits = 1;
        }
        N /= 10;
    }
    if (bits == 0)
    {
        cout << "No" << endl;
    }
    else
    {
        cout << "Yes" << endl;
    }
}