#include<stdio.h>
#include<string.h>
int main(void)
{
    char s[3];
    scanf("%s",s);
    int i=0;
    while(s[i]){
        if(s[i]=='7'){
            printf("Yes\n");
            return 0;
        }
        i++;
    }
    printf("No\n");
    return 0;
}
