#include <iostream>
#include <stdio.h>
#include <vector>
#include <stack>
#include <algorithm>
#define rep(i,n) for(int i = 0; i < (n); ++i)
using namespace std;

int main(){
    int N, N3,N2,N1;
    cin >> N;
    
    N3=N/100;
    N2=(N%100)/10;
    N1=(N%10);

    if(N3==7 || N2==7 || N1==7){
        cout<<"Yes"<<endl;
    }else{
        cout<<"No"<<endl;
    }
    return 0;
}