#include<Stdio.h>
int main(void){
  int n,n1,n2,n3;
  scanf("%d",&n);
  n1=n%10;
  n2=(n/10)%10;
  n3=n/100;
  if(n1==7 || n2==7 || n3==7){
    printf("Yes\n");
  }else{
    printf("No\n");
  }
  return 0;
}