Nam vừa mua một chiếc Iphone 15 và cần cài đặt mật khẩu cho chiếc điện thoại thông minh này. Mật khẩu gồm ~4~ chữ số. Việc lựa chọn trước đây thường là năm sinh của chính mình hay của người thân. Lần này Nam nghĩ ra một cách chọn độc đáo mật khẩu cho chiếc Iphone mới này.

Nam viết liên tiếp các số nguyên dương bắt đầu từ ~1~ thành một dãy các chữ số vô hạn và đánh số các chữ số này bắt đầu từ ~1~ tạo thành dãy số ~a = a_1a_2a_3...~ Dãy chữ số khi viết tới số ~24~ là:

~a = 123456789101112131415161718192021222324\ldots~

Như vậy chữ số thứ ~20~ là ~1~ ~(a_{20} = 1)~, chữ số thứ ~21~ là ~5~ ~(a_{21} = 5)~.

Nam chọn một số nguyên dương ~k~ và ~4~ chữ số liên tiếp bắt đầu từ chữ số thứ ~k~: ~a_{k} a_{k + 1} a_{k + 2} a_{k + 3}~ là mật khẩu chiếc Iphone của Nam.

Yêu cầu

Cho số ~k~, hãy tìm ~4~ chữ số ~a_{k} a_{k + 1} a_{k + 2} a_{k + 3}~ là mật khẩu chiếc Iphone của Nam.

Dữ liệu đầu vào

Gồm gồm duy nhất một số nguyên dương ~k \le 10^{14}~.

Dữ liệu đầu ra

Gồm một dòng ghi liên tiếp ~4~ chữ số ~a_{k} a_{k + 1} a_{k + 2} a_{k + 3}~ tìm được.

Ràng buộc dữ liệu

• Có 50% số test với ~k \le 10^6~;
• Có 50% số test còn lại không có giới hạn gì thêm.

Ví dụ

Ví dụ 1

INPUT

21

OUTPUT

5161