#include <bits/stdc++.h>
using namespace std;
#define rep(i, n) for (int i = 0; i < (n); i++)
#define rep2(i, s, n) for (int i = (s); i < (int)(n); i++)
typedef long long ll;
typedef pair<int, int> P;
const ll MAX_N = 100000;

// vector<int> dp(100000, 1e9);

int main()
{
    // string S,T,U;
    string N;
    bool flg = true;
    cin >> N;
    rep(i,3){
        if(N[i]=='7')
            flg = false;
    }
if(flg)
    printf("No");
else
    printf("Yes");

    return 0;
}