#include <bits/stdc++.h>

using namespace std;

typedef long long int ll;

int main(){
    int t;
    cin>>t;
    while(t>0){
        int dig = t%10;
        if(dig == 7){
            cout<<"Yes"<<endl;
            return 1;
        }
        t = t/10;
    }
    cout<<"No"<<endl;
    return 0;
}