#include<stdio.h>

int main(void){

    int inputNumber;

    int check = 0;

    //入力部分
    scanf("%d",&inputNumber);

    //計算部分
    while(inputNumber != 0){
        if(inputNumber % 10 == 7){
            printf("Yes\n");
            check = 1;
            break;
        }
        inputNumber = (inputNumber-(inputNumber%10))/10;
    }
    
    if(check == 0)printf("No\n");

    //出力部分
}