#include <iostream>
#include <vector>
#include <string>

using namespace std;

int main()
{
    uint32_t nn;
    uint32_t num_100;
    uint32_t num_10;
    uint32_t num_1;
    cin >> nn;

    num_100 = nn / 100;
    num_10 = (nn % 100) / 10;
    num_1 = ((nn % 100) % 10);

    if((num_100 == 7)   ||
       (num_10 == 7)    ||
       (num_1 == 7))
       {
           cout << "Yes" << endl;
           return 0;
       }

    cout << "No" << endl;

    return 0;
}