#include<stdio.h>

int main(void){

  char S[4];
  int i,ans = 0;

  scanf("%s",S);
  for(i = 0;i < 3;i++){
    if(S[i] == '7') ans++;
  }

  if(ans > 0)printf("Yes\n");
  else printf("No\n");
  return 0;
}