#include<bits/c++.h>
typedef long long ll;
#define rep(i,n) for ( int i = 0; i < (int)n; i++ )

void main( void )
{
    int n;
    cin >> n;

    if ( n / 100 == 7 || n % 10 == 7 || n % 100 / 10 == 7 )
        cout << "Yes" << endl;
    else
        cout << "No" << endl;
}