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

int main()
{
    int $=1;
    //cin>>$;
    while($--)
    {
       string s;
       cin>>s;
       if(s[0]=='7'||s[1]=='7'||s[2]=='7') cout<<"Yes"<<endl;
       else cout<<"No"<<endl; 
    }
}


/*
8888888888888888888888888888
    Md. Masud Mazumder
    University of Chittagong
    Department of CSE
8888888888888888888888888888
*/
