#include <bits/stdc++.h> 
  
using namespace std; 
int main() 
{ 
    string s;
    cin>>s;
  
    int n = s.length(); 
   
    char arr[n + 1]; 
  
    strcpy(arr, s.c_str()); 
  
    for (int i = 0; i < n; i++) {
    	if(arr[i]=='7'){
    		cout<<"Yes"<<endl;
    		
return 0;
    	}
    }
  cout<<"No"<<endl;
    return 0; 
} 
