#include <bits/stdc++.h>
using namespace std;
typedef long long ll;
#define rep(i, n) for(int i=0; i<(n); i++)

int main() {
    /*変数定義，入力*/
    int N;
    cin >> N;
    
    //ll A, B;cin >> A >> B;
    //vector<ll> a(N);  rep(i, N) cin >> a[i];
    
    /*演算*/
    int a = N/100;
    int b = (N - a * 100)/10;
    int c = N - a * 100 - b * 10;
    if(a == 7 || b == 7 || c == 7){
        cout << "Yes" << endl;
    }else{
        cout << "No" << endl;
    }
    /*出力*/

    /*終了*/
    return 0;
}