 #include<bits/stdc++.h>
 using namespace std;
 int main(){
     int a;
     cin >> a;
     while(a>0){
         if(a%10==7){
             cout << "Yes\n";
             return 0;
         }else{
             a = a/10;
         }
     }
     cout << "No\n";
return 0;
 }
