#include <bits/stdc++.h>
#define rep(i, n) for(int i = 0; i < n; i++)

using namespace std;
using ll = long long;

int main(){
    char a, b, c; cin >> a >> b >> c;
        if(a == '7' || b == '7' || c == '7'){
            cout << "Yes" << endl;
        }else{
            cout << "No" << endl;
        }

    return 0;
}