#include<stdio.h>

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




}