#include<stdio.h>

int main() {
  int n=0,i;
  char s[3];
  scanf("%s",s);
  
  for(i=0; i<3; i++){
    if(s[i]=='7') n++;
  }
  
  if(n==0) printf("No");
  else printf("Yes");
  
  if(n==0) printf("No");
  else printf("Yes");
  return 0;
}

  