#include<iostream>
#include<string>
#include<regex>

using namespace std;

int main()
{
    string n;
    int a=0;
    cin >> n;
    for(int i = 0;i < n.size();++i){
        if(n[i] == '7'){
            cout << "Yes";
            a=1;
        }
    }
    if(a == 0) cout << "No";
    cout << endl;
    return 0;
}