#include<stdio.h>

int main(){
  char m[4];
  scanf("%s",m);
  if(m[0] == '7')
  printf("Yes\n");
  else if(m[1] == '7')
  printf("Yes\n");
  else if(m[2] == '7')
  printf("Yes\n");
  else
  printf("No\n");
  return 0;
}
