#include<bits/stdc++.h>

using namespace std;
int main(){
    int in, check = 0;

    cin>>in;

    while(in > 0){
        if(in%10 == 7){
            cout<<"Yes\n";
            check = 1;
            break;
        }
        in = in/10;

    }
    if(check == 0){
        cout<<"No\n";
    }

    return 0;
}

