#include <stdio.h>

#include <string.h>

int main()

{

    int n;

    scanf("%d",&n);

    if(n/100==7||n%10==7||n/10%10==7)

        printf("Yes");

    else

        printf("No");

    return 0;

}