        #include<stdio.h>
         
        int main(void)
        {
         int n,m;
          scanf(%d,&n);
          
          if(n%10==7)
          {
            printf("Yes");
            m=n-n%10;
          }
          else if(m%100==7)
          {
            printf("Yes");
            m=m-m%100;
          }
          else if(n%1000==7)
          {
             printf("Yes");
          }
          else
             printf("No");
          
          return 0;
        }