Mỗi người có một quan điểm riêng về may mắn. Trong lĩnh vực số học Bình coi các số ở hệ 10 chỉ chứa các chữ số 4 hoặc 7 là những số may mắn. Các số may mắn được bình sắp xếp theo giá trị tăng dần của chúng và đánh số bắt đầu từ 1. Các số may mắn đầu tiên là: 4; 7; 44; 47; 74; …

Cho số nguyên dương ~k~ (~1≤k≤10^9~)

Yêu cầu:

Hãy xác định số may mắn thứ ~k~

Dữ liệu:

Cho từ tệp văn bản LUCKY.INP duy nhất một số nguyên dương ~k~

Kết quả:

Ghi ra tệp văn bản LUCKY.OUT số may mắn thứ ~𝑘~

Ví dụ:

LUCKY.INP

3

LUCKY.OUT

44