#include <bits/stdc++.h>
using namespace std;
typedef long long ll;
typedef vector<long long> vll;
#define inf 999999
#define EPS (1e-7)
#define rep(i, n) for (int i = 0; i < (int)(n); i++)
#define ALL(a) a.begin(), a.end()
#define PB push_back
const ll MOD = 1e9 + 7;
const int MAX = 10000000;

int main(){
    string N;
    cin >> N;
    if(N.at(0) != '7' && N.at(1) != '7' && N.at(2) != '7'){
        cout << "No" << endl;
    }else{
        cout << "Yes" << endl;
    }
}