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

int main()
{
    string input;
    cin >> input;

    bool isLucky = false;
    int l = input.length();

    for (int i = 0; i < l; ++i)
    {
        if (input.at(i) == '7')
        {
            isLucky = true;
            break;
        }
    }

    cout << (isLucky ? "Yes" : "No") << endl;
}