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?

Input

The natural number $n$ ($n$ ≤ $1000$).

Output

Print the minimal sum to buy $n$ disсs.

.

Examples