#include <iostream>
#include <algorithm>       // for next_permutation
#include <vector>
#include <bits/stl_numeric.h>
#include <queue>

#define DEBUG 0
#define REP(i, n) for (long long i = 0; i < (n); i++) 
typedef long long ll;
static const ll MOD = 1000000007;
static const ll INF = 1000000000000000000LL;
using namespace std;

static const int MAX = 510000;

int main() {

    string s,res;
    cin >> s;
    res = "No";
    REP(i,3)
    {
        if(s[i] == '7')res = "Yes";
    }
    cout << res << endl;
    return 0;
}
