#include <stdio.h>

int main(void){
    int i=1,n,ans=0;
    scanf("%d",&n);
    while(i<=100){
        if((n/i) % 10 == 7){
            ans = 1;
        }
        i *= 10;
    }
    if(ans == 1){
        printf("Yes\n");
    }else{
        printf("No\n");
    }
    return 0;
}