题目描述

高桥喜欢金币。他每拥有一枚500日元硬币，就能获得1000个“幸福点”，而每拥有一枚5日元硬币，就能获得5个幸福点。（日元是日本的货币。）

高桥有X日元。如果他将他的钱兑换成能够获得最多幸福点的方式，他将获得多少幸福点？

（我们假设有六种可用的硬币：500日元、100日元、50 日元、10日元、5日元和1日元。）

约束条件

• $0 \leq X \leq 10^9$
• $X$ 是整数。

输入

输入以以下格式从标准输入给出：

$X$

输出

打印可以获得的最大幸福点数。

示例输入1

1024

示例输出1

2020

通过将他的钱兑换成两枚500日元硬币和四枚5日元硬币，他可以获得2020个幸福点，这是可以获得的最大幸福点数。

示例输入2

0

示例输出2

0

他穷极无聊——或者说没有钱。

示例输入3

1000000000

示例输出3

2000000000

他是个亿万富翁——以日元计算。