Các chữ số \(4\) và \(7\) là may mắn, trong khi tất cả các chữ số khác là không may mắn. Một số nguyên là may mắn nếu nó chỉ chứa các chữ số may mắn trong biểu diễn thập phân. Chúng ta muốn biết số nguyên dương may mắn thứ \(K\).

Đầu vào

• Dòng đầu tiên và duy nhất chứa một số nguyên dương \(K (1 \le K \le 10^9)\).

Đầu ra

• Dòng đầu tiên và duy nhất phải chứa số nguyên dương may mắn thứ \(K\).

Input 1

1

Output 1

4

Input 2

2

Output 2

7

Input 3

3

Output 3

44