AT_abc160_b [ABC160B] Golden Coins

[problemUrl]: https://atcoder.jp/contests/abc160/tasks/abc160_b 高桥君喜欢金色的硬币。每拥有 $500$ 日元硬币 $1$ 枚，他可以获得 $1000$ 的**快乐值**，每拥有 $5$ 日元硬币 $1$ 枚，他可以获得 $5$ 的**快乐值**。 高桥君现在有 $X$ 日元。他可以将这些钱兑换成各种硬币，使自己的快乐值最大。请问高桥君最多能获得多少快乐值？ （可用的硬币有 $500$ 日元、$100$ 日元、$50$ 日元、$10$ 日元、$5$ 日元、$1$ 日元这 $6$ 种。）

输入从标准输入读取，格式如下： > $X$

输出最大快乐值。

## 限制条件 - $0 \leq X \leq 10^9$ - $X$ 是整数。 ## 样例解释 1 可以兑换成 $2$ 枚 $500$ 日元硬币和 $4$ 枚 $5$ 日元硬币，这样可以获得 $2020$ 的快乐值。这是最大值。 ## 样例解释 2 高桥君一分钱也没有。 ## 样例解释 3 高桥君非常有钱。 由 ChatGPT 4.1 翻译