int main(){
    string n;
    bool flag = false;
    cin >> n;
    for(int i = 0; i < 3; i++){
        if(n[i] == '7'){
            flag = true;
        }
    }
    if(flag) cout << "Yes" << endl;
    else cout << "No" << endl;
}