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 bé hơn n chia hết cho 5.
Dữ liệu
Một dòng duy nhất ghi 1 số nguyên dương n(1<n≤10^9).
Kết quả
In ra kết quả bài toán.
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