#include <bits/stdc++.h>

using namespace std;

int main()
{
    string N;
    cin >> N;
    int ans = 0;
    for (int i = 0;i < 2;i++) {
        if(N[i] == 7){
            ans++;
        }
    }
    if(ans == 0){
        cout<<"Yes"<<endl;
    }else {
        cout<<"No"<<endl;
    }
    return 0;
}
