#include <stdio.h>
#include <iostream>
#include <string>
using namespace std;

int main()
{
    int N;
    cin >> N;
    int hun = int(N/100);
    int ten = int((N%100)/10);
    int one = int(N%10);
    if (hun == 7 || ten ==7 || one ==7 ) {
        cout << "Yes" << endl;
    }
    else cout << "No" << endl;
}