题目描述

高橋君は金色の硬貨が好きです。自分が持っている $500$ 円硬貨 $1$ 枚につき $1000$、$5$ 円硬貨 $1$ 枚につき $5$ の 嬉しさ を得ます。

高橋君は $X$ 円を持っています。これを高橋君の嬉しさが最大になるように両替したとき、高橋君の嬉しさはいくらになりますか？

(なお、利用できる硬貨は $500$ 円玉、$100$ 円玉、$50$ 円玉、$10$ 円玉、$5$ 円玉、$1$ 円玉の $6$ 種類とします。)

输入格式

入力は以下の形式で標準入力から与えられる。

$X$

输出格式

嬉しさの最大値を出力せよ。

题目大意

高桥君有 $X$ 元，他可以用 $500$ 元换来 $1000$ 点幸福点数，或者用 $5$ 元换来 $5$点幸福点数，问他最多能换几点幸福点数？

（假设钱币面值有 $500$ 、$100$ 、$50$ 、$10$ 、$5$ 、$1$ 元）

1024

2020

0

0

1000000000

2000000000

提示

制約

• $0\ \leq\ X\ \leq\ 10^9$
• $X$ は整数

Sample Explanation 1

$500$ 円硬貨 $2$ 枚、$5$ 円硬貨 $4$ 枚を含むように両替することで $2020$ の嬉しさを得ます。これが嬉しさの最大です。

Sample Explanation 2

高橋君は一文無しです。

Sample Explanation 3

高橋君は大富豪です。