#include <bits/stdc++.h>
using namespace std;
using ll = long long;
using ull = unsigned long long;
using i32 = int32_t;
using ui32 = uint32_t;
using i64 = int64_t;
using ui64 = uint64_t;
using pii = pair<int, int>;
using pdd = pair<double, double>;
using vpii = vector<pii>;
using vpdd = vector<pdd>;
static int constexpr dbg = 0;
int main(int argc, char *argv[]) {
  if (!dbg) {
    std::ios::sync_with_stdio(false);
  }
  string st;
  cin >> st;
  st = "00" + st;
  int const n = st.size();
  for (int i = 0; i < n; ++i) {
    int n1 = 100 * (st[i] - '0');
    for (int j = i + 1; j < n; ++j) {
      int n2 = n1 + 10 * (st[j] - '0');
      for (int k = j + 1; k < n; ++k) {
        int num = n2 + st[k] - '0';
        if (num % 8 == 0) {
          cout << "YES\n" << num << endl;
          return 0;
        }
      }
    }
  }
  cout << "NO\n";
  return 0;
}
