#include <bits/stdc++.h>
char a[][5] = {"1869", "6198", "1896", "1689", "1986", "1968", "1698"};
char s[1000000 + 10];
int flag[11] = {0};
int main() {
  scanf("%s", s);
  int len = strlen(s);
  int p = 0, ps = 0;
  for (int i = 0; i < len; i++) {
    if ((s[i] == '1' || s[i] == '6' || s[i] == '8' || s[i] == '9') &&
        !flag[s[i] - '0'])
      flag[s[i] - '0'] = 1;
    else if (s[i] == '0')
      ps++;
    else {
      printf("%c", s[i]);
      p = p * 10 + s[i] - '0';
      p %= 7;
    }
  }
  printf("%s", a[p]);
  for (int i = 0; i < ps; i++) printf("0");
  return 0;
}
