#include <bits/stdc++.h>
using namespace std;
const char letters[] = {'a', 'b', 'c', 'd', 'e', 'f', 'g', 'h', 'i',
                        'j', 'k', 'l', 'm', 'n', 'o', 'p', 'q', 'r',
                        's', 't', 'u', 'v', 'w', 'x', 'y', 'z'};
const int dx[] = {0, -1, 0, 1, -1, -1, 1, 1};
const int dy[] = {1, 0, -1, 0, 1, -1, 1, -1};
long long inline max3(long long a, long long b, long long c) {
  return max(a, max(b, c));
}
long long inline min3(long long a, long long b, long long c) {
  return min(a, min(b, c));
}
long long power(long long x, long long p) {
  if (p == 0)
    return 1;
  else if (p % 2 == 0)
    return power(1LL * x * x, p / 2);
  else
    return 1LL * x * power(1LL * x * x, (p - 1) / 2);
}
long long GCD(long long a, long long b) {
  if (b == 0) return a;
  return GCD(b, a % b);
}
int n;
int main() {
  scanf("%d", &n);
  int f = 0, v = 0;
  for (int i = 0; i <= n / 4; ++i) {
    if ((n - i * 4) % 7 == 0) {
      f = i, v = (n - i * 4) / 7;
      break;
    }
  }
  if (!f && !v) return puts("-1");
  for (int i = 0; i < f; ++i) printf("4");
  for (int i = 0; i < v; ++i) printf("7");
  return 0;
}
