Sretan

Τα ψηφία 4 και 7 είναι τυχερά, ενώ όλα τα άλλα είναι άτυχα. Ένας ακέραιος είναι τυχερός εάν περιέχει μόνο τυχερά ψηφία σε δεκαδικό συμβολισμό. Θα θέλαμε να μάθουμε τον ~K~-οστό τυχερό θετικό ακέραιο αριθμό.

Είσοδος

Η πρώτη και μοναδική γραμμή εισόδου περιέχει έναν θετικό ακέραιο αριθμό ~K\;(1 \le K \le 10^9)~.

Έξοδος

Η πρώτη και μοναδική γραμμή εξόδου πρέπει να περιέχει τον ~K~-οστό τυχερό θετικό ακέραιο αριθμό.

Βαθμολογία

Παραδείγματα

input

1

output

4

input

2

output

7

input

3

output

44