#include <bits/stdc++.h>

typedef long long   ll;
typedef long double ld;
using namespace std;

int main() {
    ios_base::sync_with_stdio(false);
    cin.tie(NULL);
    string s;
    cin >> s;
    if(s[2]=='7'||s[1]=='7'||s[0]=='7') cout << "Yes" << "\n";
    else                                cout << "No" << "\n";
    return 0;
}