#include <bits/stdc++.h>
#include <stdio.h>
#include <string>
using namespace std;

int main() {
    string n;
    cin >> n;
    int flag = 0;
    for(int i = 0; i < 3; i++){
        if(n.at(i) == '7'){
            flag = 1;
        }
    }
    if(flag == 1){
        cout << "Yes";
    } else {
        cout << "No";
    }
}