#2712 밍규가 좋아하는 숫자

10  1 s   128 MB  

Description

밍규가 좋아하는 숫자는 4와 7이다.

다른 숫자는 싫어한다.

밍규는 궁금하다.

자기가 좋아하는 숫자로 얼마나 많은 숫자를 만들수 있는지,

가능하다면 길이가 작으면서, 사전순으로 빠른 숫자를 출력해주고,

불가능하다면, -1을 출력해주자.

Input

1000000 이하의 숫자가 들어온다.

(이 숫자는 민규와 좋아하는 숫자로 표현해야하는 숫자들의 합이다.)

Output

4와 7을 이용해서

길이가 작으면서, 사전순으로 빠른 숫자를 출력한다.

Sample Input

Sample Output

11
47

Source

wowoto9772