#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 ;

vector < ll > Pow ;

int  main (  ) {

    FASTIO ;

    string s ;
    cin >> s ;

    int f = 0 ;

    for( int i = 0 ; i < s.size( ) ; i++ ){
        if( s[ i ] == '7' ) f++ ;
    }

    if( f ) cout << "Yes" ;
    else  cout << "No" ;


    return  0 ;
}
