CF109A.Lucky Sum of Digits

Petya loves lucky numbers. We all know that lucky numbers are the positive integers whose decimal representations contain only the lucky digits 4 and 7. For example, numbers 47, 744, 4 are lucky and 5, 17, 467 are not.

Petya wonders eagerly what minimum lucky number has the sum of digits equal to n. Help him cope with the task.

佩蒂亚喜欢幸运数字。众所周知，幸运数字是指十进制表示中仅包含幸运数字 4 和 7 的正整数。例如，47、744、4 是幸运数字，而 5、17、467 不是。

佩蒂亚迫切地想知道：各位数字之和等于 $n$ 的最小幸运数字是什么？请帮助他解决这个问题。

The single line contains an integer n (1 ≤ n ≤ 106) — the sum of digits of the required lucky number.

单行包含一个整数 $n$（$1 ≤ n ≤ 10^6$）——即所求幸运数的各位数字之和。

Print on the single line the result — the minimum lucky number, whose sum of digits equals n. If such number does not exist, print -1.

在单行上输出结果——即各位数字之和等于 $n$ 的最小幸运数。如果不存在这样的数，则输出 -1。