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


int main(){
    char c;
    for(int i=0;i<3;i++){
        cin>>c;
        if(c=='7'){
            cout<<"Yes"<<endl;
            return 0;
        }
    }

    cout<<"No"<<endl;

    

}