#include <stdio.h>
int main(void){
  int n,i,m=0;
  scanf("%d",&n);
  for(i=0; i<3; i++){
    if(n%10 == 7)
      m++;
    n = n/10;
  }
  if(m>0)
    printf("Yes\n");
  else
    printf("No\n");
  return 0;
}