#include<stdio.h>

int main(void)
{
int N, n100, n10, n1;
scanf("%d", &N);

n100 = N / 100;
n10 = (N - n100 * 100) / 10;
n1 = N % 10;

if(n1==7 || n10==7 || n100==7){
printf("Yes");
}else{
printf("No");
}
}