题目描述

Takahashi loves gold coins. He gains $1000$ happiness points for each $500$-yen coin he has and gains $5$ happiness points for each $5$-yen coin he has. (Yen is the currency of Japan.)

Takahashi has $X$ yen. If he exchanges his money so that he will gain the most happiness points, how many happiness points will he earn?

(We assume that there are six kinds of coins available: $500$-yen, $100$-yen, $50$-yen, $10$-yen, $5$-yen, and $1$-yen coins.)

高桥喜欢金币。他每拥有一枚 $500$ 日元硬币，就会获得 $1000$ 幸福点数。每拥有一枚 $500$ （日元）硬币，他就能获得{幸福点数；每拥有一枚 $5$ （日元）硬币，他就能获得 $5$ 幸福点数。(日元是日本的货币）。

高桥有 $X$ 日元。如果他把钱换成能获得最多幸福点数的钱，他能获得多少幸福点数？

(我们假设有六种硬币可供选择： $500$ 日元、 $100$ 日元、 $50$ 日元、 $10$ 日元、 $5$ 日元和 $1$ 日元硬币）。

输入格式

输入内容按以下格式标准输入：

$X$

输出格式

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

样例 #1

样例输入 #1

1024

样例输出 #1

2020

样例 #2

样例输入 #2

0

样例输出 #2

0

样例 #3

样例输入 #3

1000000000

样例输出 #3

2000000000

说明

数据规模与约定

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

样例 $1$ 解释

通过换钱，他得到了两个 $500$ （日元）硬币和四个 $5$ （日元）硬币，他获得了 $2020$ 幸福点数，这是可以获得的最大幸福点数。

样例 $2$ 解释

他身无分文--或者说没有日元。

样例 $3$ 解释

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