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

#define      pb    push_back
#define      ff    first
#define      ss    second
#define      ll    long long int
#define      endl  "\n"
#define      FASTIO        ios_base::sync_with_stdio(false);cin.tie(NULL);cout.tie(NULL);


#define      TEST    int t ; cin >> t ; while( t -- )

const ll big = 10e7 + 11 ;

int  main (  ) {

    FASTIO ;

    int n ;
    cin >> n ;

    int f = 0 ;

    while( n ){
        int k = n % 10 ;

        if( k == 7 ) f++ ;

        n /= 10 ;
    }
    if( f ) cout << "Yes" ;
    else   cout << "No" ;


    return  0 ;
}
