#include <stdio.h>
#include <iostream>
#define rep(i,n) for(i=0;i<n;i++)
using namespace std;

int main(){
    int N;
    cin >> N;
    if(N / 100 == 7 || (N / 10) % 10 == 7 || N % 10 == 7){
        cout << "Yes";
    }else{
        cout << "No";
    }
}