#include<stdio.h>

int main() {
	int price = 0;
	float cost = 0.0f;
	scanf("%d", &price);

	if (price < 100)
		cost = price;
	else if (price >= 100 && price < 500)
		cost = price * 0.9;
	else if (price >= 500 && price < 2000)
		cost = price * 0.8;
	else if (price >= 2000 && price < 5000)
		cost = price * 0.7;
	else
		cost = price * 0.6;

	printf("%.1f", cost);

	return 0;
}