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