#include <bits/stdc++>
using namespace std;
  
int main(){
    int a,b,c;
    cin >>a;
    for(int i=0,i<3,i++){
        if(a[i]==7){
            b++;
        }
    }
    if(b>=1){
        cout<<"Yes"<<endl;
    }
    else{
        cout<<"No"<<endl;
    }
    return 0;
    
}