#include<stdio.h>
#include<stdlib.h>
int main(){
    int a,b=1;
    char s[4];
    // 整数の入力
  fgets(s,4,stdin);
  for(a=0;a<3;a++){
   if(s[a]=='7')b=0; 
  }
  if(b==0){printf("Yes");}
    else printf("No");
    return 0;
}