#include <iostream>
#include <vector>
#include <map>
#include <stack>
#include <queue>
#include <bitset>
#include <algorithm>
#include <sstream>
#include <limits.h>
using namespace std;

int main()
{
    std::string n;
    cin >> n;
    /*
    int a[n];
    for(int i=0; i<n; i++){
        cin >> a[i];
    }
    */
    if(n.find("7") == std::string::npos)
        cout << "No" << endl;
    else
    cout << "Yes" << endl;
}