#include <stdio.h>
#include <string.h>

int main(int argc, const char * argv[])
{
    char inputN[3];
    scanf("%s", inputN);
    
    long len = strlen(inputN);
    int digitCounter = 0;
    
    for(int i = 0; i < len; i++)
    {
        if(inputN[i] == '7')
        {
            digitCounter++;
        }
    }
    
    if(digitCounter > 0)
    {
        printf("Yes \n");
    }
    else
    {
        printf("No \n");
    }
    
    return 0;
}
