Yêu cầu

Cho số nguyên dương n, hãy tính tổng tất cả các số nguyên dương chia hết cho 5 và bé hơn n (mỗi số cách nhau một dấu cách).

Dữ liệu

Một dòng duy nhất ghi 1 số nguyên dương \(n (1 < n \leq 10^9 )\).

Kết quả

In ra kết quả bài toán.

Ví dụ

INPUT

15

OUTPUT

15

Giải thích: Các số nhỏ hơn 15 mà chia hết cho 5 là 5 và 10 nên có tổng là 15