#include <iostream>
#include<vector>
#include<algorithm>
#include<string>
#include<cmath>
#include<queue>
#include<map>
using namespace std;

#define rep(i,n) for(int i=0;i<n;i++)
typedef long long ll;
typedef pair<int,int> P;

int main(){
    int n;
    cin >> n;
    int a = n%10;
    int b = (n/10) %10;
    int c =(n/100) %10;
    if(a==7 || b==7 || c==7){
        cout << "Yes" << endl;
    }else{
        cout <<  "No" << endl;
    }
}