#include<bits/stdc++.h>

using namespace std;

#define all(x) x.begin(), x.end()
typedef vector<int> vi;
typedef pair<int,int> ii;
typedef long long ll;

const int mod = 1e9 + 7;
const ll inf = 3e18 + 5;

int main(){
    ios_base::sync_with_stdio(false);
    cin.tie(0);

    int n;
    cin >> n;
    bool c = false;
    while(n){
        int tmp = n % 10;
        if (tmp == 7)
            c = true;
        n /= 10;
    }
    if(c)
        cout << "Yes";
    else
        cout << "No";
}