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

int main() {
	int N;
 	cin >> N;
  
    if (N / 100 - 7 == 0) {
      cout << "yes" << endl;
    }
    
  	else if (N / 10 - N / 100 * 10 - 7 == 0) {
      cout << "yes" << endl;
    }
  
  	else if (N - N / 10 * 10 - 7 == 0) {
      cout << "yes" << endl;
    }
            
    else {
      cout << "no" << endl;
    }
      
}
