A token for one metro trip costs 4 UAH. If more trips are planned, then you can purchase a ticket, which price for 10 trips is 30 UAH, for 50 - 125 UAH, and for 100 - 200 UAH. What is the minimum sum you need to spend to pay for at least m metro rides?

Input

One positive integer m (1 ≤ m ≤ 1000).

Output

Print the required minimum sum.