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

int main(){
    int N;
    cin >> N;

    string str = to_string(N);
    bool flag = false;

    for(int i=0; i<str.length(); i++){
        if(str[i] == '7') flag = true;
    }
    
    if(flag){
        cout << "Yes" << endl;
    }else{
        cout << "No" << endl;
    }

    return 0;
}