#include<iostream>
#include <vector>
#include <algorithm>
#include<set>
#define rep(i, n) for (int i = 0; i < (int)(n); i++)
#define INF 1000000;
#include <map>

using ll = long long;
using namespace std;


int main(){
    int n;
    cin >> n;
    int f1, f2, f3;
    f1=0;
    f2=0;
    f3=0;
    if(n%10==7){
        f1=1;
    }
    n/=10;
    if(n%10==7){
        f2=1;
    }
    n/=10;
        if(n%10==7){
        f3=1;
    }
    if(f1==1||f2==1||f3==1) cout << "Yes"<< endl;
    else cout << "No" << endl;
    
}