#include<bits.stdc++.h>
#define rp(i,n) for(int i=0; i<n; i++)
using namespace std;
using ll=long long;
int main(){
    string  n;
    cin >> n;
    if(n.at(0)=='7'||n.at(1)=='7'||n.at(2)=='7')
    puts("Yes");
    else puts("No");
    return 0;
}