#include<iostream>
#include<string>
#include<vector>
using namespace std;
typedef long long LL;

int main()
{ 
    string n;
    cin>>n;
    if(n[0]=='7'||n[1]=='7'||n[2]=='7'){
    cout<<"Yes"<<endl;}
    else{cout<<"No"<<endl;}
    return 0;
}