#include <bits/stdc++.h>

using namespace std;

int n;

main(){
    cin >> n;
    while (n != 0){
        if (n % 10 == 7){
            cout << "Yes";
            exit(0);
        }
        n /= 10;
    }
    cout << "No";
}