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

int main(){
	string input;
  	cin>>input;
  	for(int i=0; i<input.length(); i++){
    	if(input[i]=='7') {
          cout<<"Yes";
          break;
        }
      	else cout<<"No";
    }
	return 0;
}