#include <bits/stdc++.h>
#include <set>
#include <map>
#include <queue>
#include <vector>
using namespace std;
typedef char chr;
typedef double  dbl;
typedef long long int lld;
#define FastIO ios::sync_with_stdio(false);cin.tie(NULL);cout.tie(NULL);
double getComb (double n, double x){
    if (x > n){
        return 0;
    }
    else{
        double r = 1.0;
        for(double i = 1.0; i<=x;i+=1){
            double a = n-i+1;
            double b = a / i;
            r*=b;
        }
        return r;
    }
}
int main () {
    FastIO
    lld n, r;
    cin >> n;
    lld f =0;
    while (n!=0){
        r = n%10;
        if (r==7)
            f= 1;
        n = n/10;
    }
    if (f == 1)
        cout << "Yes\n";
    else
        cout <<  "No\n";
    return 0;
}