#include <stdio.h>

int main(){
    int vet[1001],flag=0,n;

    scanf("%d",vet);

    if(vet[0]=7)
        flag=1;
    else if(vet[1]=7)
        flag=1;
    else if(vet[2]=7)
        flag=1;

    if(flag)
        printf("Yes\n");
    else
        printf("No\n");




    return 0;
}
