#include <bits/stdc++.h>
using namespace std;
typedef long long int ll;

int main(){
    int N;
    cin>>N;
    bool can=false;

    if(N/100==7){
        can=true;
    }
    N=N-(N/100)*100;
    if(N/10==7){
        can=true;
    }
    N=N-(N/10)*10;
    if(N==7){
        can=true;
    }
    if(can){
        cout<<"Yes";
    }
    else{
        cout<<"No";
    }
    return 0;
}