#include <bits/stdc++.h>
using namespace std;

int main(){
    string n;
    cin>>n;
    char h,j,i; 
    h=n.at(0);
    j=n.at(1);
    i=n.at(2);
    if(h=='7'||j=='7'||i=='7')cout<<"Yes"<<endl;
    else cout<<"No"<<endl;
    }