{"raw_statement":[{"iden":"problem statement","content":"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.)\nTakahashi has $X$ yen. If he exchanges his money so that he will gain the most happiness points, how many happiness points will he earn?\n(We assume that there are six kinds of coins available: $500$\\-yen, $100$\\-yen, $50$\\-yen, $10$\\-yen, $5$\\-yen, and $1$\\-yen coins.)"},{"iden":"constraints","content":"*   $0 \\leq X \\leq 10^9$\n*   $X$ is an integer."},{"iden":"input","content":"Input is given from Standard Input in the following format:\n\n$X$"},{"iden":"sample input 1","content":"1024"},{"iden":"sample output 1","content":"2020\n\nBy exchanging his money so that he gets two $500$\\-yen coins and four $5$\\-yen coins, he gains $2020$ happiness points, which is the maximum number of happiness points that can be earned."},{"iden":"sample input 2","content":"0"},{"iden":"sample output 2","content":"0\n\nHe is penniless - or yenless."},{"iden":"sample input 3","content":"1000000000"},{"iden":"sample output 3","content":"2000000000\n\nHe is a billionaire - in yen."}],"translated_statement":null,"sample_group":[],"show_order":["default"],"formal_statement":null,"simple_statement":null,"has_page_source":true}