#include <iostream>

typedef unsigned short ushort;

template < ushort N >
bool MatchesEachDigit( ushort val )
{
    while ( val > 0 )
    {
        if ( val % 10 == N )
        {
            return true;
        }
        
        val /= 10;
    }
    
    return false;
}
 
int main( void )
{
    ushort N;
    std::cin >> N;
    
    std::cout << ( MatchesEachDigit<7>(N) ? "Yes" : "No" ) << std::endl;
    return 0;
}