#include <stdio.h>

int main(){

 char X[3];

    scanf("%s",&X);

    if(X[0]=='7'){


        printf("Yes\n");

    }
    
    else if(X[1]=='7'){


        printf("Yes\n");

    }
    else if(X[2]=='7'){


        printf("Yes\n");

    }
    
    else{

       printf("No\n");

    }



return 0;

}

