Số may mắn nhỏ nhất

Số may mắn là số nguyên dương mà biểu diễn thập phân của nó chỉ chứa các chữ số $4$ và $7$. Ví dụ: $47$, $744$, $4$ là các số may mắn; còn $5$, $17$, $467$ thì không phải.

Cho một số nguyên dương $n$. Hãy tìm số may mắn nhỏ nhất sao cho tổng các chữ số của nó đúng bằng $n$.

Nếu không tồn tại số như vậy, hãy in ra $-1$.

Dữ liệu vào

Một dòng duy nhất chứa số nguyên $n$.

Dữ liệu ra

In ra số may mắn nhỏ nhất có tổng các chữ số bằng $n$, hoặc $-1$ nếu không tồn tại.

Ràng buộc

• $1\le n\le {10}^6$

Ví dụ