Поездки на метро

Жетон для одной поездки на метро стоит 4 грн. Если планируется более поездок, то можно приобрести проездной билет, цена которого на 10 поездок составляет 30 грн., на 50 - 125 грн., а на 100 - 200 грн. Какую минимальную сумму нужно потратить, чтобы оплатить проезд не менее, чем на m поездок на метро?

Входные данные

Натуральное число m (1 ≤ m ≤ 1000).

Выходные данные

Выведите искомую минимальную сумму.

Примеры