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

int main(void)
{
    int n,i=0;
    char a[4];
    scanf("%s",a);
    if(a[0]=='7')
      i=1;
    if(a[1]=='7')
      i=1;
    if(a[2]=='7')
      i=1;
    if(i==1)
      printf("Yes");
    else
      printf("No");

	return 0;
}
