Sanji định nghĩa một số đẹp bậc năm là số có từ hai chữ số trở lên và chỉ gồm đúng \(1\) chữ số khác chữ số \(5\). Ví dụ về các số đẹp bậc năm: \(15, 25, 35, 45,50, 51, 52, 53, 54, 56, 57, 58, 59, 65, 75, 85, 95, 155, 255, \ldots\) Viết các số tạo thành dãy số đẹp bậc năm tăng dần. Hãy tìm số nhỏ thứ \(K\) của dãy số đó.

Input

• Một số tự nhiên \(K\) (\(1 \leq K \leq 1000\)).

Output

• Gồm một dòng là kết quả của bài toán.

Scoring

• Subtask \(1\) (\(60\%\) số điểm): \(K \leq 150\).
• Subtask \(2\) (\(40\%\) số điểm): không có ràng buộc gì thêm.

Example

5

50

11

57