    #include <bits/stdc++.h>
    #define rep(i,n) for(int i = 0; i < (n); i++)
     
    using namespace std;  
    using ll = long long;
    using P = pair<int,int>; 
    
    int main() {
   
     int n;
     cin >> n;
     int a = n/100;
     int b = (n-a*100)/10;
     int c =n%10 ;
     if(a==7 || b == 7 || c == 7)	cout << "Yes" <<'\n';
     else cout << "No"<<'\n';
     return 0;
    }