// Lucky 7

#include <iostream>
#include <vector>
#include <math.h>
#include <string>
#include <map>
#include <stdio.h>
#include <string.h>
#include <initializer_list>
#include <algorithm>
#include <numeric>
#include <iomanip>
#include <queue>
#include <set>
using namespace std;
const int INF = 1 << 29;
int main ()
{
    string N;
    cin >> N;
    if (N.find('7')!=string::npos) {
        cout << "Yes";
    }
    else
    {
        cout << "No";
    }
    
    

    return 0;
}