Hải rất thích các viên bi nhiều màu sặc sỡ. Để thưởng cho thành tích học tập tốt của Hải, bố của Hải đã mua cho bạn rất nhiều bi. Hải cho các viên bi vào hộp lần lượt theo thứ tự là: Xanh - Đỏ - Vàng - Đỏ - Trắng rồi lại đến bi Xanh - Đỏ - Vàng - Đỏ - Trắng ... cứ như vậy. Hỏi muốn trong hộp có ~N~ viên bi đỏ thì phải bỏ vào đó ít nhất bao nhiêu viên bi?

Input Specification

• Một dòng chứa số nguyên ~N~ ~(1 \le N \le 10^{12})~

Output Specification

• Một dòng chứa một số nguyên là kết quả bài toán.

Sample Input

2

Sample Output

4