#include<stdio.h>
int main(void){
char s[3];
  scanf("%s",&s);
  for(int i=0;i<3;i++){
	if(s[i]-'0'==7){printf("Yes");
                    return 0;
                   }
  }
  printf("No");
  return 0;
}