#include<stdio.h>
int main(){
    int c=0;
    char b[10];
    gets(b);
    for(int i=0;b[i]!='\0';i++)
    {
        if(b[i]=='7'){ c++; }
    }
if(c>0)printf("Yes\n");
else printf("No\n");
return 0;
}
