#include <iostream>
using namespace std;

int main() {
	// your code goes here
	int n;
	cin >> n;
	if(((n/100)-7)*(((n/10)%10)-7)*((n%10)-7)==0){
		cout << "Yes" << endl;
	}
	else cout << "No" << endl;
	
	
	
	
	return 0;
}