#include <stdio.h>
#include <stdlib.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;
}
