Yêu cầu:

Ở một trang trại, người ta trồng \(n\) cây táo. Để dễ dàng cho việc quản lí, người ta đã đánh mã số cho các cây táo đó từ \(1\) đến \(n\).

Bác An - một người nông dân làm vườn được giao cho nhiệm vụ chăm sóc các cây táo, bác rất yêu thích các con số mà chia hết cho cả 2 và 5, vì vậy bác luôn quan tâm tới các cây táo có mã số mà bác yêu thích. Bác gọi các cây táo đó là những cây táo có vị trí đặc biệt.

Trong mỗi vụ thu hoạch, các cây táo ở vị trí thông thường đều cho khoảng \(250kg\) quả, riêng các cây táo ở vị trí đặc biệt do nhận được sự chăm sóc đặc biệt từ bác An nên các cây này cho quả gấp đôi các cây bình thường.

Em hãy cho biết, trong vụ thu hoạch vừa rồi, trang trại thu hoạch được bao nhiêu kg táo?

Dữ liệu vào:

• Một dòng ghi một số nguyên dương \(n\) \((0 < n <= 10^3)\)

Kết quả:

• In ra số kg táo mà trang trại thu hoạch được từ \(n\) cây táo.

Sample Input

    10

Sample Output

    2750