#include<stdio.h>

#include<stdlib.h>

int main()
{
	int lr,jj;
	jj=0;
	scanf("%d",&lr);
	
	if(lr<=100000) jj=lr*0.1;
	else if(lr<=200000) jj=10000+(lr-100000)*0.075;
	else if(lr<=400000) jj=17500+(lr-200000)*0.05;
	else if(lr<=600000) jj=27500+(lr-400000)*0.03;
	else if(lr<=1000000) jj=33500+(lr-6000000)*0.015;
	else  jj=39500+(lr-1000000)*0.01;
	
	printf("%d",jj);
	return 0;

}