Problems
Compact discs
Compact discs
Blank compact discs are on sale in packages of three kinds. A package with $100$ disсs costs $100$ UAH, one with $20$ discs costs $30$ UAH, and one disс costs $2$ UAH. What minimal sum of money should you pay to buy $n$ such disсs?
\InputFile
The natural number $n$ ($n$ ≤ $1000$).
\OutputFile
Print the minimal sum to buy $n$ disсs.
.
Input example #1
123
Output example #1
136