#include<stdio.h>
using namespace std;

int main(){
    int n;
    scanf("%d", &n);

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