#pragma GCC optimize ("O3")
#include <bits/stdc++.h>
#define abdelrahman010 ios_base::sync_with_stdio(0);cin.tie(0);cout.tie(0);
typedef long long ll;
using namespace std;
const int N = 1e3 + 5;
int main() {
    abdelrahman010
    char c;
    for(int i = 0;i < 3;i++) {
        cin >> c;
        if(c == '7')
            return cout << "Yes" , 0;
    }
    cout << "No";
    return 0;
}