#include <bits/stdc++.h>

using namespace std;

int main()
{
    int n;
    cin >> n;
    bool count = 0;
    while (n)
    {
        int p = n % 10;
        if (p == 7)
            count = 1;
        n = n / 10;
    }
    if (count)
        cout << "Yes";
    else
    {
        cout << "No";
    }

    return 0;
}