/* A - Lucky7 */

#include <stdio.h>

int main(void){
  int N, count = 0;
  scanf("%d", &N);
  while(count == 0 && N > 0){
    if(N % 10 == 7){
      count += 1;
      break;
    }else{
      N /= 10;
    }
  }

  if(count > 0){
    printf("Yes\n");
  }else{
    printf("No\n");
  }

  return 0;
}