#include <stdio.h>
#include <stdlib.h>

int main(void) {
    char c[3];
    scanf("%s", c);
  	int flag = 0;
    for(int i = 0;i < 3;i++) {
      	if((c[i] - '0') == 7) flag = 1;
    }
  	printf(flag ? "Yes" : "No");
    return 0;
}