#include <bits/stdc++.h>
#include<iostream>
#include<vector>
#include <cmath>
#include <map>
#include <algorithm>
#include <string>
#define rep(i, n) for (int i = 0; i < n; ++i)
using ll = long long;
using namespace std;
#define P pair<int, int>

int main () {
    int n ;
    cin >> n ;
    bool flag = false ;
    if(n % 10 == 7){
        flag = true ;
    }
    n = n / 10 ; 
    if(n % 10 == 7){
        flag = true ;
    }
    n = n / 10 ;
    if(n == 7){
        flag = true ;
    }

    if(flag == true){
        cout << "Yes" << endl;
    }else{
        cout << "No" << endl;
    }
    return 0 ;
}

 
