#include <bits/stdc++.h>
#define f first
#define s second
#define pl pair < long long , long long >
#define ll long long

using namespace std;

const long long BIG = 1e7 + 9 ;
string s ;
int main()
{
    bool ans = 0 ;
    cin >> s ;
    for ( auto i : s )
        if ( i == '7' )
        ans = 1 ;
    ans ? cout << "Yes" : cout << "No" ;

}
