#include <iostream>
#include <map>
#include <set>
#include <utility>
#include <numeric> 
#include <bits/stdc++.h>
typedef long long ll;
typedef std::pair<std::pair<int,int>,int>pi;
using namespace std;

int main() {
    int n; cin >> n;
    string s = to_string(n);
    string ans = "No";
    for(auto x : s){
        if(x == '7'){
            ans = "Yes";
            break;
        }
    }
    cout << ans << endl;
}
