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

int i;

int main()
{
    string s;
    int count = 0;

    cin >> s;

    for (i = 0; i < 3; i++)
    {
        if (s[i] == '7')
        {
            count++;
        }
    }

    if (count != 0)
    {
        cout << "Yes";
    }
    else
    {
        cout << "No";
    }
}