#include <bits/stdc++.h>

using namespace std;


int main() {
    string n;
    cin >> n;
    if(n.size() == 2) {
        cout << (((n[n.size()-1]-'0')+(n[n.size()-2]-'0')*10)%8==0 ? "8:Yes" : "8:No") << endl;
        cout << "1650:No";
        return 0;
    } else if(n.size()==1) {
        cout << (((n[n.size()-1]-'0'))%8==0 ? "8:Yes" : "8:No") << endl;
        cout << "1650:No";
        return 0;
    }
    int last3=(n[n.size()-1]-'0')+(n[n.size()-2]-'0')*10+(n[n.size()-3]-'0')*100;
    cout << (last3%8==0 ? "8:Yes" : "8:No") << endl;

    bool div2=(n[n.size()-1]-'0')%2==0;
    int sum = 0;
    for(int i=0;i<n.size();i++) sum+=n[i]-'0';
    bool div3=sum%3==0;
    int last2 = (n[n.size()-1]-'0')+(n[n.size()-2]-'0')*10;
    bool div25 = last2%25==0;
    int sumP = 0, sumNP = 0;
    for(int i=0;i<n.size();i+=2) sumP+=n[i]-'0';
    for(int i=1;i<n.size();i+=2) sumNP+=n[i]-'0';
    bool div11=(sumP-sumNP)%11==0;
    cout << (div2 && div3 && div25 && div11 ? "1650:Yes" : "1650:No") << endl;
}