Bố đang dạy Luffy học xem giờ. Nhà Luffy có chiếc đồng hồ kim treo tường, hiện tại đang chỉ ~3~ giờ. Bố đố Luffy biết sau ít nhất bao nhiêu giờ thì đồng hồ chỉ ~K~ giờ?

Input

Gồm 1 dòng chứa số nguyên ~K~ (~1 \le N \le 12~)

Output

Một số tự nhiên là kết quả của câu đố mà bố đố Luffy.

Sample Input

5

Sample Output

2

Luffy có ~A~ viên bi, mỗi ngày bố cho Luffy thêm ~2~ viên bi. Hỏi sau bao nhiêu ngày thì Luffy có nhiều hơn ~B~ viên bi?

Input

• Dòng đầu tiên chứa một số tự nhiên ~A~ ~(1 \le A \le 10^9)~.
• Dòng thứ hai chứa một số tự nhiên ~B~ ~(1 \le B \le 10^9)~.

Output

• Một số tự nhiên là kết quả của bài toán.

Sample Input 1

3
5

Sample Output 1

2

Sample Input 2

5
3

Sample Output 2

0

Zoro viết liên tiếp các tháng từ tháng ~1~ đến tháng ~12~, rồi cứ tiếp tục như thế tạo thành một số dãy tháng dài vô tận:

$$~123456789101112123456789101112123456...~$$

Hãy tính tổng của ~K~ chữ số đầu tiên trong số dãy tháng của Zoro.

Input

• Một số tự nhiên ~K~ ~(1 \le K \le 10^9)~.

Output

• Một số tự nhiên là kết quả của bài toán.

Scoring

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

Sample Input

3

Sample Output

6

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~, ~...~

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 \le K \le 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 \le 150~.
• Subtask 2 (~40\%~ số điểm): không có ràng buộc gì thêm.

Sample Input 1

5

Sample Output 1

50

Sample Input 2

11

Sample Output 2

57