4 and 7

Changyoung likes positive integers whose decimal representation uses only the digits 4 and 7.

List all numbers Changyoung likes in increasing order. Print the K-th number in that list.

The first line contains an integer K.

• 1 <= K <= 10^9

Print the K-th smallest number among the numbers Changyoung likes.