#include<stdio.h>
#include<string.h>
int main()
{
    int i,c=0;
    char s[100];
    gets(s);
  int  len=strlen(s);
    for(i=0;i<len;i++)
    {
       if(s[i]=='7')c++; 
    }
    if(c>0)printf("Yes\n");
    else printf("No\n");
   }