#include <stdio.h>
#include <stdlib.h>

int main( int argc, char *argv[] )
{
    int n;

    scanf( "%d", &n );

    if( n % 10 == 7 ) {
        puts( "Yes" );
        exit( 0 );
    }

    n /= 10;

    if( n % 10 == 7 ) {
        puts( "Yes" );
        exit( 0 );
    }

    n /= 10;

    if( n % 10 == 7 ) {
        puts( "Yes" );
        exit( 0 );
    }

    puts( "No" );
}
