#include <stdio.h>
int main(){
  char s[4];
  scanf("%s",s);
  int j=0;
  for(int i=0;i<3;i++){
    if(s[i]=='7'){  //'7'としないといけない。文字列と数字の見分けが大事
      j=1;
      break;
    }
  }
  if (j==0){
    puts("No");
  }else{
    puts("Yes");
  }
  
  return 0;
}