#include <stdio.h>
#include <stdlib.h>
#include <math.h>
int main() {
    char N[5];
    scanf("%s",&N);
    if(N[0]=='7'||N[1]=='7'||N[2]=='7')
    {
        printf("Yes\n");
    } else{
        printf("No\n");
    }

    return 0;
}