C.cpp

#include <bits/stdc++.h>

#define FOR(i,a,b) for(int i=(a),_b=(b); i<=_b; i++)
#define FORD(i,a,b) for(int i=(a),_b=(b); i>=_b; i--)
#define REP(i,a) for(int i=0,_a=(a); i<_a; i++)
#define EACH(it,a) for(__typeof(a.begin()) it = a.begin(); it != a.end(); ++it)

#define DEBUG(x) { cout << #x << " = "; cout << (x) << endl; }
#define PR(a,n) { cout << #a << " = "; FOR(_,1,n) cout << a[_] << ' '; cout << endl; }
#define PR0(a,n) { cout << #a << " = "; REP(_,n) cout << a[_] << ' '; cout << endl; }

#define sqr(x) ((x) * (x))
using namespace std;

int main() {
    ios :: sync_with_stdio(false);
    string s;
    while (cin >> s) {
        int n = s.length();
        REP(i,n) {
            int cur = s[i] - '0';
            if (cur % 8 == 0) {
                cout << "YES" << endl;
                cout << s[i];
                goto done;
            }
        }

        REP(i,n) FOR(j,i+1,n-1) {
            int cur = (s[i] - '0') * 10 + s[j] - '0';
            if (cur % 8 == 0) {
                cout << "YES" << endl;
                cout << s[i] << s[j];
                goto done;
            }
        }

        REP(i,n) FOR(j,i+1,n-1) FOR(k,j+1,n-1) {
            int cur = (s[i] - '0') * 100 + (s[j] - '0') * 10 + s[k] - '0';
            if (cur % 8 == 0) {
                cout << "YES" << endl;
                cout << s[i] << s[j] << s[k];
                goto done;
            }
        }
        cout << "NO" << endl;
done:
        cout << endl;
    }
    return 0;
}