#include <iostream>
#include <string>
#include <algorithm>

using namespace std;

int main()
{
    int N;
    string S;

    cin >> N;

    S = to_string(N);

    char one = S[0];
    char two = S[1];
    char three = S[2];

    string ans = "No";

    if (one == '7')
    {
        string ans = "Yes";
    }

    if (two == '7')
    {
        string ans = "Yes";
    }

    if (three == '7')
    {
        string ans = "Yes";
    }

    cout << ans << endl;
}