#include <bits/stdc++.h>
using namespace std;
int main (){
    char s[4];
    scanf ( "%s" , s );
    if ( s [0]== '7' || s [1]== '7' || s [2]== '7' ) cout<<"Yes"; 
    else cout<<"No";
    }
    return 0;
    