#include <bits/stdc++.h>
int main() {
  char s[100];
  scanf("%s", s);
  if (strlen(s) == 1) {
    if ((s[0] - '0') % 8 == 0)
      printf("YES\n%s", s);
    else
      printf("NO");
    return 0;
  }
  if (strlen(s) == 2) {
    int num = s[0] * 10 + s[1];
    if (num % 8 == 0)
      printf("YES\n%s", s);
    else {
      if ((s[0] - '0') % 8 == 0)
        printf("YES\n%c", s[0]);
      else if ((s[1] - '0') % 8 == 0)
        printf("YES\n%c", s[1]);
      else
        printf("NO");
    }
    return 0;
  }
  int i = 0;
  while (i < strlen(s)) {
    int j = i + 1;
    while (j < strlen(s)) {
      int k = j + 1;
      while (k < strlen(s)) {
        int num = (s[i] - '0') * 100 + (s[j] - '0') * 10 + (s[k] - '0');
        if (num % 8 == 0) {
          printf("YES\n%d", num);
          return 0;
        }
        k++;
      }
      int n = (s[i] - '0') * 10 + (s[j] - '0');
      if (n % 8 == 0) {
        printf("YES\n%d", n);
        return 0;
      }
      j++;
    }
    if ((s[i] - '0') % 8 == 0) {
      printf("YES\n%c", s[i]);
      return 0;
    }
    i++;
  }
  printf("NO");
  return 0;
}
