#include <bits/stdc++.h>
using namespace std;

int main() {
  	vector<int> seven;
  	for(int i = 0; i < 3; i++){
  	cin >> seven.at(i);
    }
  	for(int i = 0; i < 3; i++){
    	if(data(i) == 7){
        	cout << "Yes" << endl;
        }
      	else{
        	cout << "No" << endl;
        }
    }
  
}
