Cho số tự nhiên $n$. Em hãy tính tổng tất cả các số chia cho 3 dư 2 và chia cho 5 dư 1 không lớn hơn $n$.

Dữ liệu vào:

• Dòng duy nhất là số tự nhiên $n$ $(0 < n \le 1000000)$.

Kết quả:

• In ra màn hình một số duy nhất là kết quả bài toán.

Ví dụ 1:

Nhập vào

12

OUTPUT

11