#include <stdio.h>
int main(void)
{
  int a, b, c, n, x, y, z;
  int flag;
  printf("３桁の数字を入力してください\n"); scanf("%d", &n);
  x = n / 100;
  if(x / 7 == 1)
    flag = 1;
  
  a = n % 100;
  y = a / 10;
  if(y / 7 == 1)
    flag = 1;
  
  b = a % 10;
  z = b / 10;
  if(z / 7 == 1)
    flag = 1;
  
  if(flag == 1)
    printf("Yes\n");
  else
    printf("No\n");
  
  return 0;
}
    
  
