#include <stdio.h>

int main(){
  int a;
  scanf("%d",&a);
  int b1, b2, b3;
  b1 = a % 10;
  b2 = (int)(a / 10) % 10;
  b3 = (int)(a / 100);
  if(b1 == 7 || b2 == 7 || b3 == 7){
    printf("Yes");
  }else{
    printf("No");
  }
}