#include<stdio.h>
int main()
{
    int i,msg=0;
    char a[1000];

    scanf("%s",a);

    i=0;
    while(a[i]!='\0'){
        if (a[i]=='7'){
            msg=1;
            break;
        }
        i++;
    }
    if(msg==1) {
            printf("Yes");
    }
    else printf("No");



}
