#include <stdio.h>



int main(void){

        int x;
        scanf("%d",&x);

        if((x/100)%10==7 || (x/10)%10==7 || x%10==7){
                printf("Yes\n");
        }else{
                printf("No\n");
        }   
return 0;
}
