Số đáng yêu nhỏ nhất

Một số nguyên dương gọi là đáng yêu nếu mọi chữ số của nó đều là \(4\) hoặc \(7\). Cho số nguyên \(n\), hãy tìm số đáng yêu nhỏ nhất có tổng các chữ số bằng \(n\), hoặc báo rằng không tồn tại.

Input

Một dòng chứa số nguyên \(n\).

Output

In số đáng yêu nhỏ nhất có tổng chữ số bằng \(n\); nếu không có, in \(-1\).

Constraints

• \(1 \le n \le 10^5\)

Sample Input

15

Sample Output

447

Explanation

Có \(15 = 4 + 4 + 7\); số ít chữ số nhất là \(3\) chữ số và nhỏ nhất là \(447\).