#include <bits/stdc++.h>
using namespace std;
int main(void){
    // Your code here!
    int N;
    cin>>N;
    string s = to_string(N);
    for(int i=0;i<3;i++){
        if(s[i]=='7'){
            cout<<"Yes"<<endl;
            break;
        }
        if(i==3-1){
            cout<<"No"<<endl;
        }
    }
}
