#include<stdio.h>
#difine BUFSIZE 100000
int hoge[BUFSIZE];

int main(void){
   scanf("%d",hoge);
   for(int i=0;i<3;i++)
   {
   if(hoge[i]==7)
   {
   printf("Yes");
   }
   　else printf("No");
   }
   