#include <bits/stdc++.h>
using namespace std ;

#define fastIO ios_base::sync_with_stdio(false); cin.tie(NULL); cout.tie(NULL);
typedef long long ll ;
typedef long double ld ;

const ll MOD = 1e9 + 7, N = 1e6 + 5 ;
const double PI = 2 * acos(0.0) ;
const long double EPS = 1.0E-14 ;

int main()
{
    string s ;
    cin >> s ;
    for (int i = 0; i < s.size(); i++) {
        if (s[i] == '7') {
            cout << "Yes" ;
            return 0 ;
        }
    }
    cout << "No" ;

    return 0 ;
}
