#include <stdio.h>
#include<string.h>
int main(int argc, char const *argv[])
{
  char s[1000];
  int n;
  scanf("%s",s);
  n=strlen(s);
  for(int i=0;i<n;i++){
    if(s[i]=='7'){
      printf("yes");
      return 0;
    }
  }
  printf("No");
  return 0;
}