#include<bits/stdc++.h>
using namespace std;

int main(){
    long long rahul;
    cin>>rahul;
    long long flag=0;
    
    while(rahul!=0){
        long long x=rahul%10;
        rahul=rahul/10;
        if(x==7){
            flag=1;
            cout<<"Yes"<<endl;
            break;
        }
    }
    if(flag==0){
        cout<<"No"<<"\n";
    }
}