#include <iostream>
#include<bits/stdc++.h>
#include<vector>
using namespace std;
 
int main(){
    int n;
    cin>>n;
    int count=0;
   
    for(int j=0;j<4;j++){
    	if(n%10==7){
    		count++;
		}
		n = n/10;
}
	if(count>0){
		cout<<"Yes";
	}		
    else{
    	cout << "No";
	}	

    
    
    
	
	   return 0;
}