#include<stdio.h>

int main(){
  int n,flag = 0;
  scanf("%d",&n);
  for(int i =0;i <3i++){
    if(n%10 == 7){
      flag =1;
    }
    n/=10;
  }
  if(flag==1){
    printf("Yes");
  }else{
    printf("No");
  }
}
    