#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' ) puts ( "Yes" );
    else puts ( "No" );
    return 0;
    }
