#include <stdio.h>

int main() {
  int N,result;
  scanf("%d",&N);
  if(N>=100 && N<=999) {
    while(N/10!=0) {
      result = N%10;
      N = N/10;
      if(result==7) {
	printf("Yes");
	break;
      }
    }
    if(result!=7) {
      printf("No");
    }
  }
  return 0;
}