#include <iostream>
#include <unordered_map>
#include <iterator>
#include <algorithm>
#include <string>
using namespace std;
#define ALL(a) (a).begin(), (a).end()
const int64_t BIG_PRIME = 1000000007;

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

    if(n/100==7 || (n%100)/10==7 || n%10==7){
        cout << "Yes" << endl;
    }else{
        cout << "No" << endl;
    }

}