#include <bits/stdc++.h>
using namespace std;
char a[1000005];
int main() {
  int i, j, dig[10], n, r;
  int end[] = {1869, 6891, 1896, 1689, 1986, 1968, 1698};
  scanf(" %s", a);
  n = strlen(a);
  for (i = 0; i <= 9; i++) dig[i] = 0;
  for (i = 0; i < n; i++) {
    dig[a[i] - '0']++;
  }
  dig[1]--;
  dig[6]--;
  dig[8]--;
  dig[9]--;
  r = 0;
  for (i = 1; i <= 9; i++) {
    for (j = 0; j < dig[i]; j++) {
      r = (r * 10 + i) % 7;
      printf("%d", i);
    }
  }
  printf("%d", end[r]);
  for (j = 0; j < dig[0]; j++) printf("0");
  printf("\n");
  return 0;
}
