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

int main(){
    int B=0;
    string A;
    cin >> A;
    if(A[1]=='7'){
        B=1;
    }else if(A[2]=='7'){
        B=1;
    }else if(A[0]=='7'){
        B=1;
    }
    if(B==1){
        cout << "Yes" << endl;
    }else{
        cout << "No"<<endl;
    }
}