#include <bits/stdc++.h>
//#include <iostream>

using namespace std;

int main(){
    int n=0;
    //char s[200];
    bool flag = false;
    //vector<int> a(N,0);

    cin >> n;

    if(n%10 == 7)
        flag = true;
    else{
        n /=10;
        if(n%10 == 7)
            flag = true;
        else{
            n /=10;
            if(n%10 == 7)
                flag = true;
        }
    }
    
    //for(int i=0;i<n;i++);


    

    //cout << ans << endl;
    cout << ( (flag) ? "Yes" : "No" ) << endl;
}