#include<stdio.h>
#include<stdlib.h>
#include<string.h>

int main(){
  int n;
  scanf("%d",&n);

  int ans=0;
  if(n%10==7 || (n%100)/10==7 || n/100==7){
    printf("Yes\n");}
  else{
    printf("No\n");}
  
  return 0;
}
