#include<stdio.h>
int function( int a)
{
    while( a != 0)
    {
        if( a%10==7)
        {
            return 1 ;
            break ;
        }
        a = a/10 ;
    }
    return 0 ;
}
int main( )
{
    int a ;
    scanf("%d" , &a);
    if( function(a) == 1)
        printf("Yes\n");
    else
        printf("No\n");
        return 0;
}