#include<stdio.h>
 
int main(void){
  int N;
  scanf("%d",&N);
  int a,b,c;
  a=N%10;
  N/=10;
  b=N%10;
  N/=10;
  c=N%10;
  if(a==7 || b==7 || c==7){
    printf("Yes\n");
  }else{
    printf("No\n");
  }
  return 0;
}