#include <stdio.h>
int main(){
int num1;
scanf("%d", &num1);
 if (num1%10==7)
  printf("Yes");
 else {
  int num2=num1/10;
  if (num2%10==7)
  printf("Yes");
   else{
    int num3=num2/10;
    if (num3%10==7)
      printf("Yes");
    else
      printf("No");
   }
 }
}
