#include <stdio.h>
#include <string.h>
#include <stdlib.h>

int main(){
    int n;
    scanf("%d",&n);
    if(n % 10 == 7 || n / 100 == 7 || (n % 100 - n % 10) == 70){
        printf("Yes");
    }else{
        printf("No");
    }
    return 0;
}
