#include<stdio.h>
int main()
{
          int a,p,i=0;
          scanf("%d",&a);
          while(a!=0)
          {
                    p=a%10;
                    a=a/10;
                    if(p==7)
                              i++;
          }
          if(i>0)
                    printf("Yes\n");
          else
                    printf("No\n");
}
