#include <stdio.h>

int main(){
  char s[3];
  int sevencheck = 0;
  scanf("%s",s);
  for(int i=0;i<3;i++){
    if(s[i]=='7'){
      sevencheck = 1;
    }
  }
  if(sevencheck){
    printf("Yes");
  }else{
    printf("No");
  }
  return 0;
}
