
#include<stdio.h>

int main(){

           char st[4];
           gets(st);
           int k=0;
           for(int i=0;st[i]!='\0';i++){

            if(st[i]=='7'){
                k=k+1;
            }
            else{

                k=k+0;

            }

           }
          if(k==0){
              printf("No");
          }
          else{
             printf("Yes");
          }



}



